Sciweavers

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

9

FORTE
2009

favoriteEmaildiscussreport

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

13 years 2 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

Real-time Traffic

Formal Methods | FORTE 2009 |

claim paper

Related Content

» A Model for Java with Wildcards

» Type Analysis for JavaScript

» A type and effect system for deterministic parallel Java

» Scoped Types and Aspects for RealTime Java

» Two Ways to Bake Your Pizza Translating Parameterised Types into Java

» Precision in Practice A TypePreserving Java Compiler

» Data Flow Analysis for Checking Properties of Concurrent Java Programs

» A Basic Model of Typed Components

» A type system for functional traversalbased aspects

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	FORTE
Authors	Arend Rensink, Eduardo Zambon

Comments (0)