167 search results - page 1 / 34 » Separation logic, abstraction and inheritance |
189
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
101
Voted
ENTCS
2008
15 years 1 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...
96
Voted
LICS
2007
IEEE
15 years 7 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...
185
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
102
Voted
FMOODS
2003
15 years 2 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...