Extended Static Checking in L3

Kumar Avijit (kavijit@)
Swapnil Patil (svp@)

Goal:

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.