메뉴 건너뛰기




Volumn 165, Issue 1, 1996, Pages 133-169

A compositional semantic basis for the analysis of equational Horn programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

EID: 0346158767     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(96)00043-6     Document Type: Article
Times cited : (6)

References (41)
  • 1
    • 0345744464 scopus 로고
    • Incremental constraint satisfaction for equational logic programming
    • M. Alpuente, M. Falaschi and G. Levi, Incremental constraint satisfaction for equational logic programming, Theoret. Comput. Sci. 142 (1) (1995) 27-57.
    • (1995) Theoret. Comput. Sci. , vol.142 , Issue.1 , pp. 27-57
    • Alpuente, M.1    Falaschi, M.2    Levi, G.3
  • 2
    • 0029270720 scopus 로고
    • Analyses of unsatisfiability for equational logic programming
    • M. Alpuente, M. Falaschi and F. Manzo, Analyses of unsatisfiability for equational logic programming. J. Logic Programming 22 (3) (1995) 221-252.
    • (1995) J. Logic Programming , vol.22 , Issue.3 , pp. 221-252
    • Alpuente, M.1    Falaschi, M.2    Manzo, F.3
  • 3
    • 84910927748 scopus 로고
    • Optimization of equational logic programs using abstract narrowing
    • Tech. Report DSIC-II/1/93, UPV, 1993. Short version in J. Penjam and M. Bruynooghe, ed., Proc. of PLILP'93, - Springer, Berlin
    • M. Alpuente, M. Falaschi, M.J. Ramis and G. Vidai, Optimization of equational logic programs using abstract narrowing. Tech. Report DSIC-II/1/93, UPV, 1993. Short version in J. Penjam and M. Bruynooghe, ed., Proc. of PLILP'93, - Lecture Notes in Computer Science, Vol. 714 (Springer, Berlin, 1993) 391-409.
    • (1993) Lecture Notes in Computer Science , vol.714 , pp. 391-409
    • Alpuente, M.1    Falaschi, M.2    Ramis, M.J.3    Vidal, G.4
  • 5
    • 21844525140 scopus 로고
    • Compositional analysis for equational horn programs
    • G. Levi and M. Rodríguez-Artalejo, eds., Proc. 5th Internat Conf. on Algebraic and Logic Programming, ALP'94, Springer, Berlin
    • M. Alpuente, M. Falaschi and G. Vidal, Compositional analysis for equational horn programs, in: G. Levi and M. Rodríguez-Artalejo, eds., Proc. 5th Internat Conf. on Algebraic and Logic Programming, ALP'94, Lecture Notes in Computer Science, Vol. 850 (Springer, Berlin, 1994) 77-94.
    • (1994) Lecture Notes in Computer Science , vol.850 , pp. 77-94
    • Alpuente, M.1    Falaschi, M.2    Vidal, G.3
  • 6
    • 0010886356 scopus 로고
    • Narrowing directed by a graph of terms
    • R.V. Bosk, ed., Proc. of RTA'91, Springer, Berlin
    • J. Chabin and P. Réty, Narrowing directed by a graph of terms, in: R.V. Bosk, ed., Proc. of RTA'91, Lecture Notes in Computer Science, Vol. 488 (Springer, Berlin, 1991) 112-123.
    • (1991) Lecture Notes in Computer Science , vol.488 , pp. 112-123
    • Chabin, J.1    Réty, P.2
  • 8
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
    • P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proc. 4th ACM Symp. Principles of Programming Languages (1977) 238-252.
    • (1977) Proc. 4th ACM Symp. Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 9
    • 84910830623 scopus 로고
    • On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences
    • J.C.M. Baeten and J.W. Klop, eds., Proc. of Concur 90, Springer, Berlin
    • F.S. de Boer and C. Palamidessi, On the asynchronous nature of communication in concurrent logic languages: a fully abstract model based on sequences, in: J.C.M. Baeten and J.W. Klop, eds., Proc. of Concur 90, Lecture Notes in Computer Science, Vol. 458 (Springer, Berlin, 1990) 175-194.
    • (1990) Lecture Notes in Computer Science , vol.458 , pp. 175-194
    • De Boer, F.S.1    Palamidessi, C.2
  • 10
    • 0028429645 scopus 로고
    • Termination of logic programs: The never ending story
    • D. de Schreye and S. Decorte, Termination of logic programs: the never ending story, J. Logic Programming 19/20 (1994) 199-260.
    • (1994) J. Logic Programming , vol.19-20 , pp. 199-260
    • De Schreye, D.1    Decorte, S.2
  • 12
    • 0011464180 scopus 로고
    • An abstract concurrent machine for rewriting
    • H. Kirchner and W. Wechler, eds., Proc. 2nd Internat Conf. on Algebraic and Logic Programming, Springer, Berlin
    • N. Dershowitz and N. Lindenstrauss, An abstract concurrent machine for rewriting, in: H. Kirchner and W. Wechler, eds., Proc. 2nd Internat Conf. on Algebraic and Logic Programming, Lecture Notes in Computer Science, Vol. 463 (Springer, Berlin, 1990) 318-331.
    • (1990) Lecture Notes in Computer Science , vol.463 , pp. 318-331
    • Dershowitz, N.1    Lindenstrauss, N.2
  • 13
    • 0347567617 scopus 로고
    • On the semantics of logic programs
    • J. Leach Albert, B. Monien and M. Rodriguez Artalejo, eds., Automata, Languages and Programming, 18th Internat. Colloq., Springer, Berlin
    • M. Gabbrielli and G. Levi, On the semantics of logic programs, in: J. Leach Albert, B. Monien and M. Rodriguez Artalejo, eds., Automata, Languages and Programming, 18th Internat. Colloq., Lecture Notes in Computer Science, Vol. 510 (Springer, Berlin, 1991) 1-19.
    • (1991) Lecture Notes in Computer Science , vol.510 , pp. 1-19
    • Gabbrielli, M.1    Levi, G.2
  • 14
    • 0024479642 scopus 로고
    • Extending SLD-resolution to equational Horn clauses using E-unification
    • J.H. Gallier and S. Raatz, Extending SLD-resolution to equational Horn clauses using E-unification, J. Logic Programming 6 (1989) 3-43.
    • (1989) J. Logic Programming , vol.6 , pp. 3-43
    • Gallier, J.H.1    Raatz, S.2
  • 15
    • 84919112203 scopus 로고
    • A completeness result for E-unification algorithms based on conditional narrowing
    • M. Boscarol, L. Carlucci and G. Levi, eds., Foundations of Logic and functional programming, Springer, Berlin
    • E. Giovannetti and C. Moiso, A completeness result for E-unification algorithms based on conditional narrowing, in: M. Boscarol, L. Carlucci and G. Levi, eds., Foundations of Logic and functional programming, Lecture Notes in Computer Science, Vol. 306 (Springer, Berlin, 1986) 157-167.
    • (1986) Lecture Notes in Computer Science , vol.306 , pp. 157-167
    • Giovannetti, E.1    Moiso, C.2
  • 16
    • 0028427164 scopus 로고
    • The integration of functions into logic programming: From theory to practice
    • M. Hanus, The integration of functions into logic programming: from theory to practice, J. Logic Programming 19&20 (1994) 583-628.
    • (1994) J. Logic Programming , vol.19-20 , pp. 583-628
    • Hanus, M.1
  • 17
    • 0029196671 scopus 로고
    • Strict and non-strict independent and-parallelism in logic programs: Correctness, efficiency and compile-time conditions
    • M. Hermenegildo and F. Rossi, Strict and non-strict independent and-parallelism in logic programs: correctness, efficiency and compile-time conditions, J. Logic Programming 22(1) (1995) 1-45.
    • (1995) J. Logic Programming , vol.22 , Issue.1 , pp. 1-45
    • Hermenegildo, M.1    Rossi, F.2
  • 19
    • 5344255589 scopus 로고
    • Foundations of Equational Logic Programming
    • Springer, Berlin
    • S. Hölldobler, Foundations of Equational Logic Programming, Lecture Notes in Artificial Intelligence, Vol. 353 (Springer, Berlin, 1989).
    • (1989) Lecture Notes in Artificial Intelligence , vol.353
    • Hölldobler, S.1
  • 20
    • 85035020357 scopus 로고
    • Canonical forms and unification
    • Proc. 5th Internat Conf on Automated Deduction, Springer, Berlin
    • J.M. Hullot, Canonical forms and unification, in: Proc. 5th Internat Conf on Automated Deduction, Lecture Notes in Computer Science, Vol. 87 (Springer, Berlin, 1980) 318-334.
    • (1980) Lecture Notes in Computer Science , vol.87 , pp. 318-334
    • Hullot, J.M.1
  • 23
    • 0021509124 scopus 로고
    • A theory of complete logic programs with equality
    • J. Jaffar, J.-L. Lassez and M.J. Maher, A theory of complete logic programs with equality, J. Logic Programming 3 (1984) 211-223.
    • (1984) J. Logic Programming , vol.3 , pp. 211-223
    • Jaffar, J.1    Lassez, J.-L.2    Maher, M.J.3
  • 24
    • 0001834942 scopus 로고
    • Term rewriting systems
    • S. Abramsky, D. Gabbay and T. Maibaum, eds., Oxford University Press, Oxford
    • J.W. Klop, Term rewriting systems, in: S. Abramsky, D. Gabbay and T. Maibaum, eds., Handbook of Logic in Computer Science, Vol. I (Oxford University Press, Oxford, 1992) 1-112.
    • (1992) Handbook of Logic in Computer Science , vol.1 , pp. 1-112
    • Klop, J.W.1
  • 25
    • 0345744459 scopus 로고
    • An AND-parallel implementation of the functional logic language babel
    • RWTH Aachen
    • H. Kuchen and W. Hans, An AND-parallel implementation of the functional logic language babel, in: Aachener Informatik-Bericht, Vol. 12 (RWTH Aachen, 1991) 119-139.
    • (1991) Aachener Informatik-Bericht , vol.12 , pp. 119-139
    • Kuchen, H.1    Hans, W.2
  • 26
    • 5544312980 scopus 로고
    • Independent AND-parallel implementation of narrowing
    • M. Bruynooghe and M. Wirsing, eds., Proc. PLILP'92 (Leuven Belgium), Springer, Berlin
    • H. Kuchen, J.J. Moreno-Navarro and M. Hermenegildo, Independent AND-parallel implementation of narrowing, in: M. Bruynooghe and M. Wirsing, eds., Proc. PLILP'92 (Leuven Belgium), Lecture Notes in Computer Science, Vol. 631 (Springer, Berlin, 1992) 24-38.
    • (1992) Lecture Notes in Computer Science , vol.631 , pp. 24-38
    • Kuchen, H.1    Moreno-Navarro, J.J.2    Hermenegildo, M.3
  • 28
    • 0024126962 scopus 로고
    • Complete axiomatizations of the algebras of finite, rational and infinite trees
    • Computer Science Press, New York
    • M.J. Maher, Complete axiomatizations of the algebras of finite, rational and infinite trees, in: Proc. Third IEEE Symp. on Logic In Computer Science (Computer Science Press, New York, 1988) 348-357.
    • (1988) Proc. Third IEEE Symp. on Logic in Computer Science , pp. 348-357
    • Maher, M.J.1
  • 29
    • 0347005465 scopus 로고
    • Tech. Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY
    • M.J. Maher, On parameterized substitutions, Tech. Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY, 1990.
    • (1990) On Parameterized Substitutions
    • Maher, M.J.1
  • 30
    • 0000854481 scopus 로고
    • Completeness results for basic narrowing
    • A. Middeldorp and E. Hamoen, Completeness results for basic narrowing, AAECC, 5 (1994) 213-253.
    • (1994) AAECC , vol.5 , pp. 213-253
    • Middeldorp, A.1    Hamoen, E.2
  • 32
    • 85027620328 scopus 로고
    • Algebraic properties of idempotent substitutions
    • M.S. Paterson, ed., Proc. of the 17th Internat. Colloq. on Automata, Languages and Programming, Springer, Berlin
    • C. Palamidessi, Algebraic properties of idempotent substitutions, in: M.S. Paterson, ed., Proc. of the 17th Internat. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 443 (Springer, Berlin, 1990) 386-399.
    • (1990) Lecture Notes in Computer Science , vol.443 , pp. 386-399
    • Palamidessi, C.1
  • 33
  • 34
    • 0022213996 scopus 로고
    • Narrowing as the operational semantics of functional languages
    • IEEE, New York
    • U.S. Reddy, Narrowing as the operational semantics of functional languages, in: Proc. 2nd IEEE Internat. Symp. on Logic Programming (IEEE, New York, 1985) 138-151.
    • (1985) Proc. 2nd IEEE Internat. Symp. on Logic Programming , pp. 138-151
    • Reddy, U.S.1
  • 35
    • 85031918641 scopus 로고
    • NARROWER: A new algorithm for unification and its applications to logic programming
    • Proc. RTA'85, Springer, Berlin
    • P. Réty, C. Kirchner, H. Kirchner and P. Lescanne, NARROWER: A new algorithm for unification and its applications to logic programming, in: Proc. RTA'85, Lecture Notes in Computer Science, Vol. 202 (Springer, Berlin, 1985) 141-157.
    • (1985) Lecture Notes in Computer Science , vol.202 , pp. 141-157
    • Réty, P.1    Kirchner, C.2    Kirchner, H.3    Lescanne, P.4
  • 37
    • 85037056865 scopus 로고
    • Domains for Denotational semantics
    • Proc. ICALP'82, Springer, Berlin
    • D. Scott, Domains for Denotational semantics, in: Proc. ICALP'82, Lecture Notes in Computer Science, Vol. 140 (Springer, Berlin, 1982) 577-613.
    • (1982) Lecture Notes in Computer Science , vol.140 , pp. 577-613
    • Scott, D.1
  • 41
    • 85030021506 scopus 로고
    • Methodology for proving the termination of logic programs
    • Proc. PLILP'90, Springer, Berlin
    • B. Wang and R.K. Shyamasundar, Methodology for proving the termination of logic programs, in: Proc. PLILP'90, Lecture Notes in Computer Science, Vol. 456 (Springer, Berlin, 1990) 204-221.
    • (1990) Lecture Notes in Computer Science , vol.456 , pp. 204-221
    • Wang, B.1    Shyamasundar, R.K.2


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