Search Sciweavers | Sciweavers

796 search results - page 19 / 160

» An Overview of Separation Logic

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

14 years 3 months ago

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

14 years 2 months ago

Download www-lipn.univ-paris13.fr

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

claim paper

Read More »

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

14 years 2 months ago

Download www.informatik.uni-augsburg.de

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

claim paper

Read More »

click to vote

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

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

13 years 12 months ago

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers