separation logic | Sciweavers

30

click to vote

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

14 years 4 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

40

click to vote

POPL
2008
ACM

156views Programming Languages» more POPL 2008»

Enhancing modular OO verification with separation logic

14 years 4 months ago

Download www.dur.ac.uk

Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...

claim paper

Read More »

37

click to vote

POPL
2008
ACM

142views Programming Languages» more POPL 2008»

Cyclic proofs of program termination in separation logic

14 years 4 months ago

Download www.doc.ic.ac.uk

We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...

James Brotherston, Richard Bornat, Cristiano Calca...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers