Jinja not Java

MaRDI QIDQ40590swMATHFDO

Official website https://www.isa-afp.org/entries/Jinja.html

Cited in

(5)

• BicolanoMT
• Jinja Threads
• CLDC
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• A learning-based fact selector for Isabelle/HOL

This page was built for software: Jinja not Java