Jinja Threads
From MaRDI portal
Software:40252
No author found.
Related Items (9)
Java and the Java Memory Model — A Unified, Machine-Checked Formalisation ⋮ From Jinja bytecode to term rewriting: a complexity reflecting transformation ⋮ Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL ⋮ Mechanising a type-safe model of multithreaded Java with a verified compiler ⋮ Foundational (co)datatypes and (co)recursion for higher-order logic ⋮ Safety of a smart classes-used regression test selection algorithm ⋮ Verifying a Compiler for Java Threads ⋮ Animating the Formalised Semantics of a Java-Like Language ⋮ Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism
This page was built for software: Jinja Threads
