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

DOI10.1002/CPE.596MaRDI QIDQ4329633zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Java 2 Platform

Mathematics Subject Classification ID

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

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

Cited in

(1)

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

Describes a project that uses

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)