Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493398zbMATH OpenFDO

Authors Nick Benton

Publication date 20 October 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• From process logic to program logic
• A Bytecode Logic for JML and Types
• The linear logical abstract machine
• Semantical analysis of specification logic. II

Cited in

(7)

• Specification and verification challenges for sequential object-oriented programs
• Certificates and Separation Logic
• A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• Verification, Model Checking, and Abstract Interpretation
• Hoare-style logic for unstructured programs
• A compositional natural semantics and Hoare logic for low-level languages

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 Q5493398)