Jinja Threads
From MaRDI portal
Software:40252
swMATH28538MaRDI QIDQ40252FDOQ40252
Author name not available (Why is that?)
Cited In (9)
- 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
- Foundational (co)datatypes and (co)recursion for higher-order logic
- 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
