A tutorial example of the semantic approach to foundational proof-carrying code: Abstract

DOI10.1007/11417170_2MaRDI QIDQ5704014zbMATH OpenOpenAlexFDO

Authors Amy P. Felty

Publication date 11 November 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A tutorial example of the semantic approach to foundational proof-carrying code
• Tutorial examples of the semantic approach to foundational proof-carrying code
• A syntactic approach to foundational proof-carrying code
• A gradual approach to a more trustworthy, yet scalable, proof-carrying code
• Proof-carrying code with untrusted proof rules

Cited in

(6)

• A syntactic approach to foundational proof-carrying code
• Machine instruction syntax and semantics in higher order logic
• Tutorial examples of the semantic approach to foundational proof-carrying code
• A semantic model of types and machine instructions for proof-carrying code
• Foundational certified code in the Twelf metalogical framework
• A tutorial example of the semantic approach to foundational proof-carrying code

This page was built for publication: A tutorial example of the semantic approach to foundational proof-carrying code: Abstract

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