Efficient Substitution in Hoare Logic Expressions

DOI10.1016/S1571-0661(04)80872-7zbMath1262.68097OpenAlexW2038758652MaRDI QIDQ4921508

Roberto Virga, Andrew W. Appel, Kedar Swadi

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80872-7

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Uses Software

• Twelf

Cites Work

• A semantic model of types and machine instructions for proof-carrying code
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Efficient Substitution in Hoare Logic Expressions