Search Sciweavers | Sciweavers

3931 search results - page 24 / 787

» Separation logic and abstraction

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 28 days ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

14 years 25 days 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 10 days 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

13 years 12 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers