Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions

DOI10.1002/CPE.596zbMATH Open0999.68034OpenAlexW2164070771MaRDI QIDQ4329633FDOQ4329633

Authors:

Publication date: 30 July 2002

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

Full work available at URL: https://doi.org/10.1002/cpe.596

Recommendations

• Reasoning about safety properties in a JVM-like environment
• A static type system for JVM access control
• Type Safety for FJ and FGJ
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1956459

zbMATH Keywords

Java 2 Platform

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• A safe variant of the unsafe integer arithmetic of Java™

Uses Software

• Specware

This page was built for publication: Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions

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