Sciweavers

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

73

Voted

DAGSTUHL
2006

143views Software Engineering» more DAGSTUHL 2006»

Abstract Interpretation of Graph Transformation

15 years 4 months ago

Abstract Interpretation of Graph Transformation

Download rw4.cs.uni-sb.de

Jörg Bauer, Reinhard Wilhelm

Real-time Traffic

DAGSTUHL 2006 | DAGSTUHL 2007 |

claim paper

Related Content

» The York Abstract Machine

» Adaptable Support for Queries and Transformations for the DRAGOS GraphDatabase

» A Fully Abstract Model for GraphInterpreted Temporal Logic

» Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transfo...

» Systematic design of program transformation frameworks by abstract interpretation

» Interpretation and Transformation for Abstracting Conversations

» Abstract Interpretation Using Typed Decision Graphs

» Transforming Syntactic Graphs into Semantic Graphs

» Using Graph Transformations and Graph Abstractions for Software Verification

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DAGSTUHL
Authors	Jörg Bauer, Reinhard Wilhelm

Comments (0)