A safe variant of the unsafe integer arithmetic of Java™
From MaRDI portal
Publication:4791010
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
Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
Cited In (2)
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)