A Bytecode Logic for JML and Types

DOI10.1007/11924661_24zbMath1168.68357OpenAlexW1521881314MaRDI QIDQ5385607

Martin Hofmann, Lennart Beringer

Publication date: 6 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11924661_24

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Certification Using the Mobius Base Logic

Uses Software

• Isabelle/HOL
• JML

This page was built for publication: A Bytecode Logic for JML and Types