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
- Animating the Formalised Semantics of a Java-Like Language
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- Java and the Java Memory Model — A Unified, Machine-Checked Formalisation
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Foundational (co)datatypes and (co)recursion for higher-order logic
This page was built for software: Jinja Threads
