Algebraic compilation of safety-critical Java bytecode

DOI10.1007/978-3-319-66845-1_11MaRDI QIDQ5045476zbMATH OpenOpenAlexFDO

Authors James Baxter, Ana Cavalcanti

Publication date 4 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-66845-1_11

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

Recommendations

• Safety-critical Java programs from \textsf{Circus} models
• The safety-critical Java memory model formalised
• Laws of mission-based programming
• Verified bytecode verification and type-certifying compilation
• Java bytecode verification: Algorithms and formalizations

Cited in

(4)

• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• Laws of mission-based programming
• Safety-critical Java programs from \textsf{Circus} models
• A safe variant of the unsafe integer arithmetic of Java™

This page was built for publication: Algebraic compilation of safety-critical Java bytecode

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