1143 search results - page 1 / 229 » Abstract Syntax and Logic Programming |
LPAR
1991
Springer
13 years 8 months ago
1991
Springer
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
FMOODS
2003
13 years 6 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
CADE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...