메뉴 건너뛰기




Volumn 13, Issue 3, 2002, Pages 387-403

Beyond tamaki-sato style unfold/fold transformations for normal logic programs

Author keywords

Logic Programming; Normal Logic Programs; Program Transformations; Unfold Fold Transformations

Indexed keywords


EID: 1842639666     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054102001175     Document Type: Conference Paper
Times cited : (17)

References (25)
  • 1
    • 0029379049 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 20
    • 0030102464 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.