378 search results - page 15 / 76 » Higher-order transformation of logic programs |
ASIAN
1999
Springer
14 years 22 days ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
LOPSTR
2001
Springer
14 years 27 days ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
LOPSTR
2000
Springer
14 years 1 days ago
2000
Springer