Search Sciweavers | Sciweavers

796 search results - page 20 / 160

» An Overview of Separation Logic

click to vote

GG
2008
Springer

78views Theoretical Computer Science» more GG 2008»

From Separation Logic to Hyperedge Replacement and Back

13 years 11 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 10 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 10 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 10 months ago

Download www.ertos.nicta.com.au

Harvey Tuch

claim paper

Read More »

click to vote

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers