On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs (1995)

Cached

Download Links

by Chandrabose Aravindan , Phan Minh Dung
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:25 - 1 self

Documents Related by Co-Citation

213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
13 Deriving Unfold/Fold Transformations of Logic Programs Using Extended OLDT-based Abstract Interpretation – D Boulanger, M Bruynooghe - 1993
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
30 A Method for Specializing Logic Programs – A Cocco Bossi, N, S Dulli - 1990
20 Unfold/Fold Transformation of General Logic Programs for the Well-founded Semantics – H Seki - 1993
43 Unfold~Fold Transformation of Stratified Programs, Extended Abstract – H SEKI
8 Transformation of logic programs, volume 5 – A Pettorossi, M Proietti - 1998
18 Unfold/fold transformation of logic programs with counters – T Kanamori, H Fujita - 1986
1858 Foundation of Logic Programming – J W Lloyd - 1987
21 Correctness of a logic program transformation system – M. J. Maher - 1987
25 Reducing Nondeterminism while Specializing Logic Programs – Alberto Pettorossi, Maurizio Proietti, Sophie Renault - 1997
17 A Generalized Correctness Proof of the Unfold/Fold Logic Program Transformation – H Tamaki, T Sato - 1986
25 A conceptual embedding of folding into partial deduction: Towards a maximal integration – Michael Leuschel, Danny De Schreye, André De Waal - 1996
222 Unfounded sets and well-founded semantics for general logic programs – A Van Gelder, K Ross, J S Schlipf - 1991
29 A fixpoint approach to declarative semantics of logic programs. Pages 604–625 of: Proc. north american conference on logic programming (naclp’89 – Phan Minh Dung, Kanchana Kanchansut - 1989
39 Shepherdson, Unfold-fold transformations of logic programs – P Gardner, J C - 1989
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
418 Logic programming – K Apt - 1990
42 A transformation system for deductive database modules with perfect model semantics. Theoretical computer science – M Maher