BicolanoMT

swMATH28593MaRDI QIDQ40307FDOQ40307

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: BicolanoMT