The following pages link to Jinja Threads (Q40252):
Displayed 9 items.
- From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Foundational (co)datatypes and (co)recursion for higher-order logic (Q1687535) (← links)
- Safety of a smart classes-used regression test selection algorithm (Q2229147) (← links)
- Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (Q2892748) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012) (← links)
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL (Q3183537) (← links)
- Verifying a Compiler for Java Threads (Q3558240) (← links)