Verifying a Compiler for Java Threads
From MaRDI portal
Publication:3558240
Recommendations
- scientific article; zbMATH DE number 2080048
- A verifying compiler for a multi-threaded object-oriented language
- Run-time checking multi-threaded Java programs
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- scientific article; zbMATH DE number 2087419
- An assertion-based proof system for multithreaded Java
- A Basis for Verifying Multi-threaded Programs
- scientific article; zbMATH DE number 5499373
Cited in
(15)- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- A type system for JVM threads
- Compositional reasoning for shared-variable concurrent programs
- A decision procedure for (co)datatypes in SMT solvers
- Comprehending Isabelle/HOL’s Consistency
- Animating the formalised semantics of a Java-like language
- A decision procedure for (co)datatypes in SMT solvers
- Jinja Threads
- scientific article; zbMATH DE number 1759614 (Why is no real title available?)
- scientific article; zbMATH DE number 2090288 (Why is no real title available?)
- A verifying compiler for a multi-threaded object-oriented language
- Security monitor inlining and certification for multithreaded Java
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting
- An operational semantics for object-oriented concepts based on the class hierarchy
This page was built for publication: Verifying a Compiler for Java Threads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558240)
