Jinja Threads
From MaRDI portal
Cited in
(18)- CoqJVM
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- 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
- Ctrl
- Java and the Java memory model -- a unified, machine-checked formalisation
- Animating the formalised semantics of a Java-like language
- Verified efficient enumeration of plane graphs modulo isomorphism
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
- Verifying a Compiler for Java Threads
- FinFuns
- MemSAT
- Markov Models
- Deriving class
- BicolanoMT
- CLDC
- SoftBound
This page was built for software: Jinja Threads
