Sciweavers

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

31

INFORMATIKTAGE
2010

favoriteEmaildiscussreport

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

14 years 18 days ago

Formal Semantics for the Java Modeling Language

Download lfm.iti.uni-karlsruhe.de

Daniel Bruns

Real-time Traffic

INFORMATIKTAGE 2010 | Information Technology |

claim paper

Related Content

» Java Jr Fully Abstract Trace Semantics for a Core Java Language

» Rewriting Logic Semantics From Language Specifications to Formal Analysis Tools

» A Formally Verified Calculus for Full Java Card

» An Approach for Modeling the Name Lookup Problem in the C Programming Language

» PlatformSpecific Restrictions on Concurrency in Model Checking of Java Programs

» JML Runtime Assertion Checking Improved Error Reporting and Efficiency Using Strong Validi...

» Dynamic Denotational Semantics of Java

» The Essence of JavaScript

» jmle A Tool for Executing JML Specifications Via Constraint Programming

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2010
Where	INFORMATIKTAGE
Authors	Daniel Bruns

Comments (0)