CoqJVM

swMATH2002MaRDI QIDQ14550

No author found.

Described by source

• CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types

Related Items (3)

A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture ⋮ An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model ⋮ Animating the Formalised Semantics of a Java-Like Language

This page was built for software: CoqJVM