| Speaker: |
Dino Distefano, Queen Mary, University of London |
| Title: |
A local heap analysis based on Separation Logic |
| Time: |
10 March 2006, 2.00pm |
| Venue: |
William Gates Building, room FW11 |
| Abstract: |
In this talk we introduce an automatic and local program analysis for
linked list programs where the abstract domain uses formulae from
Separation Logic.
|
|
