Search Sciweavers | Sciweavers

634 search results - page 20 / 127

» Separability in the Ambient Logic

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 4 months ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

Voted

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 4 months ago

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

15 years 3 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

15 years 1 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

15 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers