Perfect Model Checking via Unfold/Fold Transformations (2000)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:In Computational Logic, LNCS 1861
Citations:10 - 7 self

Documents Related by Co-Citation

42 A transformation system for deductive database modules with perfect model semantics. Theoretical computer science – M Maher
55 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
29 Synthesis And Transformation Of Logic Programs Using Unfold/Fold Proofs – Alberto Pettorossi, Maurizio Proietti - 1999
37 Transformations of CLP Modules – Sandro Etalle, Maurizio Gabbrielli - 1995
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
1858 Foundation of Logic Programming – J W Lloyd - 1987
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
20 Verification of Parameterized Systems Using Logic Program Transformations – Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka - 1999
23 A parameterized unfold/fold transformation framework for definite logic programs – Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan - 1999
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
39 Shepherdson, Unfold-fold transformations of logic programs – P Gardner, J C - 1989
25 Reducing Nondeterminism while Specializing Logic Programs – Alberto Pettorossi, Maurizio Proietti, Sophie Renault - 1997
26 Transforming Constraint Logic Programs – N Bensaou, I Guessarian - 1994
90 Model Checking in CLP – Giorgio Delzanno, Andreas Podelski - 1999
8 Transformation of logic programs, volume 5 – A Pettorossi, M Proietti - 1998
15 Equivalence-preserving first-order unfold/fold transformation systems – T Sato - 1992
17 Formulation of induction formulas in verification of Prolog programs – T Kanamori, H Fujita - 1986
20 Unfold/Fold Transformation of General Logic Programs for the Well-founded Semantics – H Seki - 1993