Programming Languages and Systems

DOI10.1007/B107380MaRDI QIDQ5316574zbMATH OpenOpenAlexFDO

Authors M. Wildmoser, Tobias Nipkow

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1701360
• Verified bytecode verifiers.
• scientific article; zbMATH DE number 2163030
• Verified bytecode verification and type-certifying compilation
• Fundamental Approaches to Software Engineering

Cited in

(3)

• A program logic for resources
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• Proof-carrying code from certified abstract interpretation and fixpoint compression

Describes a project that uses

Uses Software

• Isabelle/HOL

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316574)