167 search results - page 1 / 34 » Separation logic, abstraction and inheritance |
POPL
2008
ACM
14 years 4 months ago
2008
ACM
ENTCS
2008
13 years 4 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
POPL
2005
ACM
14 years 4 months ago
2005
ACM
FMOODS
2003
13 years 6 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...