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

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

Author name not available (Why is that?)

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)

Cited In (1)

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

Uses Software

• Specware

Recommendations

• Title not available (Why is that?) 👍 👎
• A type system for the Java bytecode language and verifier 👍 👎
• Reasoning about safety properties in a JVM-like environment 👍 👎
• A static type system for JVM access control 👍 👎
• Mechanising a type-safe model of multithreaded Java with a verified compiler 👍 👎
• Type Safety for FJ and FGJ 👍 👎

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)