Search Sciweavers | Sciweavers

3931 search results - page 25 / 787

» Separation logic and abstraction

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

13 years 10 months ago

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

click to vote

GG
2008
Springer

78views Theoretical Computer Science» more GG 2008»

From Separation Logic to Hyperedge Replacement and Back

13 years 9 months ago

Download www.cl.cam.ac.uk

Mike Dodds

claim paper

Read More »

click to vote

CORR
2010
Springer

74views Education» more CORR 2010»

RAFDA: Middleware Supporting the Separation of Application Logic from Distribution Policy

13 years 8 months ago

Download www.cs.st-andrews.ac.uk

Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...

Alan Dearle, Scott M. Walker, Stuart J. Norcross, ...

claim paper

Read More »

click to vote

ECEASST
2008

79views more ECEASST 2008»

From Hyperedge Replacement to Separation Logic and Back

13 years 8 months ago

Download www.cl.cam.ac.uk

Mike Dodds, Detlef Plump

claim paper

Read More »

click to vote

ENTCS
2008

97views more ENTCS 2008»

Structured Types and Separation Logic

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers