BicolanoMT

MaRDI QIDQ40307swMATHFDO

Official website https://gpetri.github.io/publis/BicolanoMT.pdf

Cited in

(6)

• Verifying a Compiler for Java Threads
• Jinja Threads
• CLDC
• Program-Conflict-Analysis
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• A Certified Data Race Analysis for a Java-like Language

This page was built for software: BicolanoMT