-
1
-
-
0029379049
-
On the correctness of unfold/fold transformations of normal and extended logic programs
-
C. Aravindan and P.M. Dung. On the correctness of unfold/fold transformations of normal and extended logic programs. Journal of Logic Programming, pages 295-322, 1995.
-
(1995)
Journal of Logic Programming
, pp. 295-322
-
-
Aravindan, C.1
Dung, P.M.2
-
2
-
-
0025414487
-
A method of specializing logic programs
-
A. Bossi, N. Cocco, and S. Dulli. A method of specializing logic programs. ACM TOPLAS, pages 253-302, 1990.
-
(1990)
ACM TOPLAS
, pp. 253-302
-
-
Bossi, A.1
Cocco, N.2
Dulli, S.3
-
3
-
-
0346775563
-
Simultaneous replacement in normal programs
-
February
-
A. Bossi, N. Cocco, and S. Etalle. Simultaneous replacement in normal programs. Journal of Logic and Computation, 6(1):79-120, February 1996.
-
(1996)
Journal of Logic and Computation
, vol.6
, Issue.1
, pp. 79-120
-
-
Bossi, A.1
Cocco, N.2
Etalle, S.3
-
4
-
-
0343164682
-
Deriving unfold/fold transformations of logic programs using extended OLDT-based abstract interpretation
-
D. Boulanger and M. Bruynooghe. Deriving unfold/fold transformations of logic programs using extended OLDT-based abstract interpretation. Journal of Symbolic Computation, pages 495-521, 1993.
-
(1993)
Journal of Symbolic Computation
, pp. 495-521
-
-
Boulanger, D.1
Bruynooghe, M.2
-
6
-
-
0009830169
-
Unfold/fold transformations of logic programs
-
In J.-L. Lassez and G. Plotkin, editors, MIT Press, Cambridge, MA,.
-
P. A. Gardner and J. C. Shepherdson. Unfold/fold transformations of logic programs. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 565-583. MIT Press, Cambridge, MA, 1991.
-
(1991)
Computational Logic: Essays in Honor of Alan Robinson
, pp. 565-583
-
-
Gardner, P.A.1
Shepherdson, J.C.2
-
7
-
-
71149116148
-
Unfounded sets and well-founded semantics for general logic programs
-
A. Van Gelder, K.A. Ross, and J.S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
-
(1991)
Journal of the ACM
, vol.38
, Issue.3
, pp. 620-650
-
-
Van Gelder, A.1
Ross, K.A.2
Schlipf, J.S.3
-
9
-
-
85020775547
-
Unfold/fold transformations for definite clause programs
-
M. Gergatsoulis and M. Katzouraki. Unfold/fold transformations for definite clause programs. In PLILP, LNCS 844, pages 340-354, 1994.
-
(1994)
PLILP, LNCS 844
, pp. 340-354
-
-
Gergatsoulis, M.1
Katzouraki, M.2
-
15
-
-
0027561159
-
A transformation system for deductive database modules with perfect model semantics
-
M. J. Maher. A transformation system for deductive database modules with perfect model semantics. Theoretical Computer Science, 110:377-403, 1993.
-
(1993)
Theoretical Computer Science
, vol.110
, pp. 377-403
-
-
Maher, M.J.1
-
17
-
-
4444258030
-
Perfect model checking via unfold/fold transforma tions
-
A. Pettorossi and M. Proietti. Perfect model checking via unfold/fold transforma tions. In Computational Logic, LNCS 1861, pages 613-628, 2000.
-
(2000)
Computational Logic, LNCS 1861
, pp. 613-628
-
-
Pettorossi, A.1
Proietti, M.2
-
18
-
-
84863927612
-
Verification of parameterized systems using logic program transformations
-
A. Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I.V. Ramakrishnan, and S. A. Smolka. Verification of parameterized systems using logic program transformations. In International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), LNCS 1785, 2000.
-
(2000)
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), LNCS 1785
-
-
Roychoudhury, A.1
Narayan Kumar, K.2
Ramakrishnan, C.R.3
Ramakrishnan, I.V.4
Smolka, S.A.5
-
19
-
-
84979074241
-
A parameterized unfold/fold transformation framework for definite logic programs
-
A. Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, and I.V. Ramakrishnan. A parameterized unfold/fold transformation framework for definite logic programs. In Principles and Practice of Declarative Programming (PPDP), LNCS 1702, pages 396-413, 1999.
-
(1999)
Principles and Practice of Declarative Programming (PPDP), LNCS 1702
, pp. 396-413
-
-
Roychoudhury, A.1
Narayan Kumar, K.2
Ramakrishnan, C.R.3
Ramakrishnan, I.V.4
-
20
-
-
0030102464
-
Total correctness by local improvement in the transformation of functional programs
-
D. Sands. Total correctness by local improvement in the transformation of functional programs. ACM TOPLAS, 18(2):175-234, 1996.
-
(1996)
ACM TOPLAS
, vol.18
, Issue.2
, pp. 175-234
-
-
Sands, D.1
-
21
-
-
0026941612
-
Equivalence-preserving first-order unfold/fold transformation systems
-
T. Sato. Equivalence-preserving first-order unfold/fold transformation systems. Theoretical Computer Science, 105:57-84, 1992.
-
(1992)
Theoretical Computer Science
, vol.105
, pp. 57-84
-
-
Sato, T.1
-
22
-
-
0026203673
-
Unfold/fold transformation of stratified programs
-
H. Seki. Unfold/fold transformation of stratified programs. Theoretical Computer Science, pages 107-139, 1991.
-
(1991)
Theoretical Computer Science
, pp. 107-139
-
-
Seki, H.1
-
23
-
-
0027590277
-
Unfold/fold transformation of general logic programs for well-founded semantics
-
H. Seki. Unfold/fold transformation of general logic programs for well-founded semantics. Journal of Logic Programming, pages 5-23, 1993.
-
(1993)
Journal of Logic Programming
, pp. 5-23
-
-
Seki, H.1
-
25
-
-
84892758300
-
An argumentation-theoretic approach to logic program transformation
-
In M. Proietti, editor Springer-Verlag
-
F. Toni and R. Kowalski. An argumentation-theoretic approach to logic program transformation. In M. Proietti, editor, Logic Program Synthesis and Transformation, Proceedings LoPSTr '95, Utrecht, The Netherlands., Lecture Notes in Computer Science 1048, pages 61-75. Springer-Verlag, 1996.
-
(1996)
Logic Program Synthesis and Transformation, Proceedings LoPSTr '95, Utrecht, the Netherlands., Lecture Notes in Computer Science 1048
, pp. 61-75
-
-
Toni, F.1
Kowalski, R.2
|