Jinja Threads
From MaRDI portal
swMATH28538MaRDI QIDQ40252FDOQ40252
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: https://www.isa-afp.org/entries/JinjaThreads.html
(18)
- Verifying a Compiler for Java Threads
- 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
- Safety of a smart classes-used regression test selection algorithm
- CoqJVM
- Ctrl
- BicolanoMT
- FinFuns
- Deriving class
- MemSAT
- Markov Models
- CLDC
- Verified efficient enumeration of plane graphs modulo isomorphism
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
- SoftBound
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
This page was built for software: Jinja Threads
