110 search results - page 1 / 22 » A Tutorial on Proof Theoretic Foundations of Logic Programmi... |
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
RTA
2005
Springer
13 years 10 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
ICLP
1998
Springer
13 years 9 months ago
1998
Springer
AGP
2010
IEEE
13 years 10 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...
FUIN
2007
13 years 4 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...