A safe variant of the unsafe integer arithmetic of Java™
From MaRDI portal
Publication:4791010
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
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)