scientific article

zbMath0995.68019MaRDI QIDQ2752051

Tobias Nipkow, Cornelia Pusch, David von Oheimb

Publication date: 23 October 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Java\(\mu\)Java\(\mu\)JVM

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Verified bytecode verifiers. ⋮ Verified bytecode verification and type-certifying compilation ⋮ Turning Inductive into Equational Specifications ⋮ Mechanising a type-safe model of multithreaded Java with a verified compiler ⋮ Verified lightweight bytecode verification

Uses Software

• Isabelle
• Isabelle/HOL