Verifying a Compiler for Java Threads
From MaRDI portal
Publication:3558240
DOI10.1007/978-3-642-11957-6_23zbMath1260.68080MaRDI QIDQ3558240
Publication date: 4 May 2010
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_23
68N20: Theory of compilers and interpreters
Related Items
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, From Jinja bytecode to term rewriting: a complexity reflecting transformation, Mechanising a type-safe model of multithreaded Java with a verified compiler, 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
Uses Software