35 search results - page 1 / 7 » Parametric higher-order abstract syntax for mechanized seman... |
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
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 ...
TPHOL
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
COORDINATION
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...