A safe variant of the unsafe integer arithmetic of Java™

DOI10.1002/SPE.454zbMATH Open1009.68904OpenAlexW2108128487MaRDI QIDQ4791010FDOQ4791010

Authors: Jürgen F. H. Winkler 

Publication date: 4 February 2003

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.454

Recommendations

• Algebraic compilation of safety-critical Java bytecode
• Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions
• Reasoning about safety properties in a JVM-like environment
• Taming the Wrapping of Integer Arithmetic
• Mechanising a type-safe model of multithreaded Java with a verified compiler

zbMATH Keywords

Javaprogram structurearithmetics in programming languagessafe arithmetic operations

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• An axiomatic basis for computer programming
• Report on the algorithmic language ALGOL 68

Cited In (2)

• Compiler Construction
• On converting character strings to integers

This page was built for publication: A safe variant of the unsafe integer arithmetic of Java™

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