378 search results - page 15 / 76 » Higher-order transformation of logic programs |
ASIAN
1999
Springer
15 years 1 months 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
15 years 3 months ago
2007
Springer
87
Voted
CORR
2010
Springer
14 years 9 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
15 years 2 months 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...
59
Voted
LOPSTR
2000
Springer
15 years 1 months ago
2000
Springer