2643 search results - page 41 / 529 » Higher order messaging |
TPHOL
2007
IEEE
14 years 5 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...
CHES
2007
Springer
14 years 5 months ago
2007
Springer
FOSSACS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
FOSSACS
2007
Springer
14 years 5 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
HYBRID
2007
Springer
14 years 5 months ago
2007
Springer
