메뉴 건너뛰기




Volumn 1861, Issue , 2000, Pages 613-628

Perfect model checking via unfold/fold transformations

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROCEDURE; FIRST-ORDER FORMULAS; LOGIC PROGRAMS; PERFECT MODEL; PROGRAM TRANSFORMATION TECHNIQUES; PROGRAM TRANSFORMATIONS; STRATIFIED NEGATION;

EID: 4444258030     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_41     Document Type: Conference Paper
Times cited : (26)

References (20)
  • 1
    • 0028425519 scopus 로고
    • Logic programming and negation: A survey
    • K. R. Apt,R. N. Bol Logic programming and negation: A survey Journal of Logic Programming 19, 20, 9-71, 1994.
    • (1994) Journal of Logic Programming , vol.19 , Issue.20 , pp. 9-71
    • Apt, K.R.1    Bol, R.N.2
  • 3
    • 0032687460 scopus 로고    scopus 로고
    • Semantics of (disjunctive) logic programs based on partial evaluation
    • S. Brass and J. Dix. Semantics of (disjunctive) logic programs based on partial evaluation. Journal of Logic Programming, 40:1-46, 1999.
    • (1999) Journal of Logic Programming , vol.40 , pp. 1-46
    • Brass, S.1    Dix, J.2
  • 4
    • 0017419683 scopus 로고
    • A transformation system for developing recursive programs
    • January
    • R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. JACM, 24(1):44-67, January 1977.
    • (1977) JACM , vol.24 , Issue.1 , pp. 44-67
    • Burstall, R.M.1    Darlington, J.2
  • 5
    • 0029695436 scopus 로고    scopus 로고
    • Tabled evaluation with delaying for general logic programs
    • W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1), 1996.
    • (1996) JACM , vol.43 , pp. 1
    • Chen, W.1    Warren, D.S.2
  • 6
    • 0000826543 scopus 로고
    • Negation as failure
    • In H. Gallaire and J. Minker (eds.) Plenum Press, New York
    • K. L. Clark. Negation as failure. In H. Gallaire and J. Minker (eds.) Logic and Data Bases, 293-322. Plenum Press, New York, 1978.
    • (1978) Logic and Data Bases , pp. 293-322
    • Clark, K.L.1
  • 7
  • 8
    • 46149136995 scopus 로고
    • Equivalences and transformations of regular systems-Applications to recursive program schemes and grammars
    • B. Courcelle. Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. Theo. Comp. Sci., 42:1-122, 1986.
    • (1986) Theo. Comp. Sci , vol.42 , pp. 1-122
    • Courcelle, B.1
  • 10
    • 0010550065 scopus 로고
    • DAIMI FN-10 Department of Computer Science University of Aarhus Denmark April
    • J. Engelfriet. Tree Automata and Tree Grammars. DAIMI FN-10, Department of Computer Science, University of Aarhus, Denmark, April 1975.
    • (1975) Tree Automata and Tree Grammars
    • Engelfriet, J.1
  • 11
    • 0347165473 scopus 로고
    • Unfold/fold program transformation
    • In M. Nivat and J.C. Reynolds (eds.) Cambridge University Press
    • L. Kott. Unfold/fold program transformation. In M. Nivat and J.C. Reynolds (eds.) Algebraic Methods in Semantics, 411-434. Cambridge University Press, 1985.
    • (1985) Algebraic Methods in Semantics , pp. 411-434
    • Kott, L.1
  • 13
    • 0033224250 scopus 로고    scopus 로고
    • Synthesis and transformation of logic programs using unfold/fold proofs
    • A. Pettorossi and M. Proietti. Synthesis and transformation of logic programs using unfold/fold proofs. Journal of Logic Programming, 41(2&3):197-230, 1999.
    • (1999) Journal of Logic Programming , vol.41 , Issue.2-3 , pp. 197-230
    • Pettorossi, A.1    Proietti, M.2
  • 14
    • 0344000680 scopus 로고
    • Unfolding-de-nition-folding in this order for avoid-ing unnecessary variables in logic programs
    • M. Proietti and A.Pettorossi. Unfolding-de-nition-folding, in this order, for avoid-ing unnecessary variables in logic programs. Theo.Comp. Sci.,142(1):89-124, 1995.
    • (1995) Theo.Comp. Sci , vol.142 , Issue.1 , pp. 89-124
    • Proietti, M.1    Pettorossi, A.2
  • 15
    • 0024680644 scopus 로고
    • On the declarative and procedural semantics of logic programs
    • T. C. P rzymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5:167-205, 1989.
    • (1989) Journal of Automated Reasoning , vol.5 , pp. 167-205
    • Przymusinski, T.C.1
  • 16
    • 84968501436 scopus 로고
    • Decidability of second-order theories and automata on infinite trees
    • July
    • M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, 141:1-34, July 1969.
    • (1969) Transactions of the American Mathematical Society , vol.141 , pp. 1-34
    • Rabin, M.O.1
  • 19
    • 0026203673 scopus 로고
    • Unfold/fold transformation of strati-ed programs
    • H. Seki. Unfold/fold transformation of strati-ed programs. Theo. Comp. Sci., 86:107-139, 1991.
    • (1991) Theo. Comp. Sci , vol.86 , pp. 107-139
    • Seki, H.1
  • 20
    • 0002086541 scopus 로고
    • Unfold/fold transformation of logic programs
    • Uppsala University, Sweden
    • H. Tamaki and T. Sato. Unfold/fold transformation of logic programs. In Proceed-ings of ICLP'84, 127-138. Uppsala University, Sweden, 1984.
    • (1984) Proceed-ings of ICLP'84 , pp. 127-138
    • Tamaki, H.1    Sato, T.2


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