Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

96

Voted

ECEASST
2008

79views more ECEASST 2008»

From Hyperedge Replacement to Separation Logic and Back

15 years 2 months ago

From Hyperedge Replacement to Separation Logic and Back

Download www.cl.cam.ac.uk

Mike Dodds, Detlef Plump

Real-time Traffic

ECEASST 2008 |

claim paper

Related Content

» From Separation Logic to Hyperedge Replacement and Back

» Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination

» Lightweight Separation

» Modelling Safe Interface Interactions in Web Applications

» Tools for Modeling and Generating Safe Interface Interactions in Web Applications

» Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs

» Integrating superscalar processor components to implement register caching

» CoordInspector A Tool for Extracting Coordination Data from Legacy Code

» Data Integration Using DataPile Structure

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ECEASST
Authors	Mike Dodds, Detlef Plump

Comments (0)