Jinja not Java

swMATH28876MaRDI QIDQ40590FDOQ40590

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: Jinja not Java