Jinja: towards a comprehensive formal semantics for a Java-like language

MaRDI QIDQ5435635zbMATH OpenFDO

Authors Tobias Nipkow

Publication date 14 January 2008

zbMATH Keywords

initialization analysistype sysetm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Animating the formalised semantics of a Java-like language
• K-Java: a complete semantics of Java
• Java: Embedding a programming language in a theorem prover
• Theorem-proving support in programming language semantics
• Mechanising a type-safe model of multithreaded Java with a verified compiler

Cited in

(7)

• From Jinja bytecode to term rewriting: a complexity reflecting transformation
• The essence of Ruby
• K-Java: a complete semantics of Java
• scientific article; zbMATH DE number 2186289 (Why is no real title available?)
• Animating the formalised semantics of a Java-like language
• JAMOOS - A Domain-Specific Language for Language Processing
• Programming Languages and Systems

Describes a project that uses

Uses Software

• Isabelle/HOL
• Isabelle/Isar

This page was built for publication: Jinja: towards a comprehensive formal semantics for a Java-like language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5435635)