Search Sciweavers | Sciweavers

796 search results - page 19 / 160

» An Overview of Separation Logic

157

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

16 years 27 days ago

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

140

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

16 years 12 days ago

Download www-lipn.univ-paris13.fr

Daniel Hirschkoff, Étienne Lozes, Davide Sa...

claim paper

Read More »

142

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

16 years 1 days ago

Download www.informatik.uni-augsburg.de

Han-Hing Dang, Peter Höfner, Bernhard Mö...

claim paper

Read More »

176

click to vote

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

Separation Logic Contracts for a Java-Like Language with Fork/Join

15 years 9 months ago

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

149

Voted

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers