Extended Static Checking in L3
Kumar Avijit (kavijit@)
Swapnil Patil (svp@)
In this project, we extended the L3 language to support verification
conditions about program variables, on the lines of ESC/Java. The
project proposal can be read here.
A very short presentation about our
work is also available. A rough draft (to be extended) is found here.