Jinja Threads
From MaRDI portal
swMATH28538MaRDI QIDQ40252FDOQ40252
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/JinjaThreads.html
Cited In (17)
- Verifying a Compiler for Java Threads
- Safety of a smart classes-used regression test selection algorithm
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Java and the Java memory model -- a unified, machine-checked formalisation
- Ctrl
- BicolanoMT
- FinFuns
- Deriving class
- MemSAT
- Markov Models
- CLDC
- Foundational (co)datatypes and (co)recursion for higher-order logic
- SoftBound
- 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
