2643 search results - page 50 / 529 » Higher order messaging |
AGP
2010
IEEE
14 years 4 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
ICALP
2010
Springer
14 years 3 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
FLOPS
2001
Springer
14 years 3 months ago
2001
Springer
CADE
2000
Springer
14 years 3 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 ...
CL
2000
Springer
14 years 3 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...