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

573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
1862 Foundations of Logic Programming – J W Lloyd - 1987
56 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
42 A Transformation System for Deductive Database Modules with Perfect Model Semantics – M J Maher - 1989
243 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
212 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993