Search Sciweavers | Sciweavers

634 search results - page 21 / 127

» Separability in the Ambient Logic

click to vote

GG
2008
Springer

78views Theoretical Computer Science» more GG 2008»

From Separation Logic to Hyperedge Replacement and Back

14 years 10 months ago

Download www.cl.cam.ac.uk

Mike Dodds

claim paper

Read More »

Voted

CORR
2010
Springer

74views Education» more CORR 2010»

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

14 years 9 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

14 years 9 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

14 years 9 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

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers