A safe variant of the unsafe integer arithmetic of Java™

DOI10.1002/SPE.454MaRDI QIDQ4791010zbMATH OpenOpenAlexFDO

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

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)

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

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)