메뉴 건너뛰기




Volumn 1101, Issue , 1996, Pages 375-390

Proving existential termination of normal logic programs

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

EID: 84947910004     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014328     Document Type: Conference Paper
Times cited : (21)

References (30)
  • 1
    • 0040622367 scopus 로고
    • Proving termination of logic programs by transforming them into equivalent term rewriting systems
    • LNCS
    • G. Aguzzi and U. Modigliani. Proving termination of logic programs by transforming them into equivalent term rewriting systems. FST&TCS, LNCS 761, pp. 114-124. 1993.
    • (1993) FST&TCS , vol.761 , pp. 114-124
    • Aguzzi, G.1    Modigliani, U.2
  • 2
    • 84976729598 scopus 로고
    • Directional type checking of logic programs
    • LNCS
    • A. Aiken and T.K. Lakshman. Directional type checking of logic programs. In Proc. of SAS, LNCS 864, pages 43-60, 1994.
    • (1994) Proc. of SAS , vol.864 , pp. 43-60
    • Aiken, A.1    Lakshman, T.K.2
  • 3
    • 84957630896 scopus 로고
    • On the unification free Prolog programs
    • LNCS Springer
    • K.R. Apt and S. Etalle. On the unification free Prolog programs. Proc MFCS LNCS 711, pp. 1-19. Springer, 1993.
    • (1993) Proc MFCS , vol.711 , pp. 1-19
    • Apt, K.R.1    Etalle, S.2
  • 4
    • 85027663554 scopus 로고
    • Proving termination of general Prolog programs
    • LNCS Springer-Verlag
    • K.R. Apt and D. Pedreschi. Proving termination of general Prolog programs. In Proc TACS, LNCS 526, pages 265-289. Springer-Verlag, 1991.
    • (1991) Proc TACS , vol.526 , pp. 265-289
    • Apt, K.R.1    Pedreschi, D.2
  • 5
    • 84947977090 scopus 로고    scopus 로고
    • Termination of logic programs using semantic unification
    • LNCS. To appear
    • T. Arts and H. Zantema. Termination of logic programs using semantic unification. In Proc. 5th LoPSTr, LNCS. 1996. To appear.
    • (1996) Proc. 5th LoPSTr
    • Arts, T.1    Zantema, H.2
  • 6
    • 0040622369 scopus 로고
    • Proving termination properties of Prolog programs: A semantic approach
    • M. Baudinet. Proving termination properties of Prolog programs: a semantic approach. Journal of Logic Programming, 14:1-29, 1992.
    • (1992) Journal of Logic Programming , vol.14 , pp. 1-29
    • Baudinet, M.1
  • 7
    • 0001434976 scopus 로고
    • A framework of directionality for proving termination of logic programs
    • The MIT Press
    • F. Bronsard, T.K. Lakshman, and U.S Reddy. A framework of directionality for proving termination of logic programs. Proc. JICSLP, pp. 321-335. The MIT Press, 1992.
    • (1992) Proc. JICSLP , pp. 321-335
    • Bronsard, F.1    Lakshman, T.K.2    Reddy, U.S.3
  • 11
    • 84958045834 scopus 로고
    • On termination of constraint logic programs
    • LNCS Springer
    • L. Colussi, E. Marchiori, and M. Marchiori. On termination of constraint logic programs. In Proc. CP'95, LNCS 976, pp. 431-448. Springer, 1995.
    • (1995) Proc. CP'95 , vol.976 , pp. 431-448
    • Colussi, L.1    Marchiori, E.2    Marchiori, M.3
  • 13
    • 0028429645 scopus 로고
    • Termination of logic programs: The never-ending story
    • D. de Schreye and S. Decorte. Termination of logic programs: The never-ending story. Journal of Logic Programming, 19,20:199-260, 1994.
    • (1994) Journal of Logic Programming , vol.19 , Issue.20 , pp. 199-260
    • de Schreye, D.1    Decorte, S.2
  • 14
    • 0024700858 scopus 로고
    • Static inference of modes and data dependencies in logic programs
    • July
    • S.K. Debray. Static inference of modes and data dependencies in logic programs. ACM TOPLAS, 11(3):418-450, July 1989.
    • (1989) ACM TOPLAS , vol.11 , Issue.3 , pp. 418-450
    • Debray, S.K.1
  • 18
    • 0039833103 scopus 로고
    • Proving termination of Prolog programs
    • R. Parikh, editor, Springer
    • N. Franchez, O. Grumberg, S. Katz, and A. Pnueli. Proving termination of Prolog programs. In R. Parikh, editor, Logics of programs, pp. 89-105. Springer, 1985.
    • (1985) Logics of programs , pp. 89-105
    • Franchez, N.1    Grumberg, O.2    Katz, S.3    Pnueli, A.4
  • 19
    • 84963895047 scopus 로고
    • Termination proofs of well-moded logic programs via conditional rewrite systems
    • LNCS Springer
    • H. Ganzinger and U. Waldmann. Termination proofs of well-moded logic programs via conditional rewrite systems. CTRS'92, LNCS 656, pp. 216-222. Springer, 1993.
    • (1993) CTRS'92 , vol.656 , pp. 216-222
    • Ganzinger, H.1    Waldmann, U.2
  • 20
    • 14544281571 scopus 로고
    • Contributions to a theory of existential termination for definite logic programs
    • G. Levi and F. Scozzari. Contributions to a theory of existential termination for definite logic programs. GULP-PRODE'95, pp. 631-642. 1995.
    • (1995) GULP-PRODE'95 , pp. 631-642
    • Levi, G.1    Scozzari, F.2
  • 22
    • 0029679015 scopus 로고    scopus 로고
    • Practical methods for proving termination of general logic programs
    • To appear
    • E. Marchiori. Practical methods for proving termination of general logic programs. The Journal of Artificial Intelligence Research, 1996. To appear.
    • (1996) The Journal of Artificial Intelligence Research
    • Marchiori, E.1
  • 24
    • 33749845556 scopus 로고
    • Localizations of unification freedom through matching directions
    • The MIT Press
    • M. Marchiori. Localizations of unification freedom through matching directions. Proc. International Logic Programming Symposium, pp. 392-406. The MIT Press, 1994.
    • (1994) Proc. International Logic Programming Symposium , pp. 392-406
    • Marchiori, M.1
  • 25
    • 0029201817 scopus 로고
    • The functional side of logic programming
    • ACM Press
    • M. Marchiori. The functional side of logic programming. In Proc. ACM FPCA, pages 55-65. ACM Press, 1995.
    • (1995) Proc. ACM FPCA , pp. 55-65
    • Marchiori, M.1
  • 26
    • 0040425687 scopus 로고
    • A transformational methodology for proving termination of logic programs
    • LNCS Springer
    • K. Rao, D. Kapur, and R.K. Shyamasundar. A transformational methodology for proving termination of logic programs. 5th CSL, LNCS 626, pp. 213-226, Springer, 1992.
    • (1992) 5th CSL , vol.626 , pp. 213-226
    • Rao, K.1    Kapur, D.2    Shyamasundar, R.K.3
  • 28
    • 0347475709 scopus 로고
    • Integrating modes and subtypes into a Prolog type checker
    • The MIT Press
    • Y. Rouzaud and L. Nguyen-Phoung. Integrating modes and subtypes into a Prolog type checker. In Proc. JICSLP, pages 85-97. The MIT Press, 1992.
    • (1992) Proc. JICSLP , pp. 85-97
    • Rouzaud, Y.1    Nguyen-Phoung, L.2
  • 30
    • 0028482972 scopus 로고
    • A methodology for proving termination of logic programs
    • B. Wang and R.K. Shyamasundar. A methodology for proving termination of logic programs. Journal of Logic Programming, 21(1):1-30, 1994.
    • (1994) Journal of Logic Programming , vol.21 , Issue.1 , pp. 1-30
    • Wang, B.1    Shyamasundar, R.K.2


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