Search Sciweavers | Sciweavers

3931 search results - page 24 / 787

» Separation logic and abstraction

145

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 11 months ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

127

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 11 months ago

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

106

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

15 years 10 months ago

Download www-lipn.univ-paris13.fr

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

claim paper

Read More »

122

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

15 years 10 months ago

Download www.informatik.uni-augsburg.de

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

claim paper

Read More »

133

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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers