메뉴 건너뛰기




Volumn 1192 LNCS, Issue , 1997, Pages 22-50

Proving properties of logic programs by abstract diagnosis

Author keywords

Debugging; Declarative diagnosis; Logic programming; Semantics; Verification

Indexed keywords

ABSTRACT INTERPRETATIONS; BOTTOM-UP AND TOP-DOWN; DIAGNOSIS TECHNIQUES; FINITE DOMAINS; LOGIC PROGRAMS; OPERATIONAL PROPERTIES; SEMANTIC FRAMEWORK; VERIFICATION METHOD;

EID: 84878652764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62503-8_2     Document Type: Conference Paper
Times cited : (18)

References (47)
  • 5
    • 0001588190 scopus 로고
    • Reasoning about prolog programs: From modes through types to assertions
    • K. R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6(6A):743-765, 1994.
    • (1994) Formal Aspects of Computing , vol.6 , Issue.6 A , pp. 743-765
    • Apt, K.R.1    Marchiori, E.2
  • 6
    • 0001609012 scopus 로고
    • Reasoning about termination of pure PROLOG programs
    • K. R. Apt and D. Pedreschi. Reasoning about termination of pure PROLOG programs. Information and Computation, 106(1):109-157, 1993.
    • (1993) Information and Computation , vol.106 , Issue.1 , pp. 109-157
    • Apt, K.R.1    Pedreschi, D.2
  • 21
    • 0026186484 scopus 로고
    • Prop revisited: Propositional formula as abstract domain for groundness analysis
    • A. Cortesi, G. Filè, and W. Winsborough. Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. In Proc. Sixth IEEE Symp. on Logic In Computer Science, pages 322-327. IEEE Computer Society Press, 1991. (Pubitemid 21691972)
    • (1991) Proceedings - Symposium on Logic in Computer Science , pp. 322-327
    • Cortesi, A.1    File, G.2    Winsborough, W.3
  • 22
    • 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. Fourth ACM Symp. Principles of Programming Languages, pages 238-252, 1977.
    • (1977) Proc. Fourth ACM Symp. Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 24
    • 0000911801 scopus 로고
    • Abstract interpretation and applications to logic programs
    • P. Cousot and R. Cousot. Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming, 13(2 & 3):103-179, 1992.
    • (1992) Journal of Logic Programming , vol.13 , Issue.2-3 , pp. 103-179
    • Cousot, P.1    Cousot, R.2
  • 25
    • 85015334941 scopus 로고
    • Comparing the galois connection and widening/narrowing approaches to abstract interpretation
    • M. Bruynooghe and M. Wirsing, editors Springer-Verlag
    • P. Cousot and R. Cousot. Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. In M. Bruynooghe and M. Wirsing, editors, Proc. of PLILP'92, volume 631 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag, 1992.
    • (1992) Proc. of PLILP'92, Volume 631 of Lecture Notes in Computer Science , pp. 269-295
    • Cousot, P.1    Cousot, R.2
  • 26
    • 0028196382 scopus 로고
    • Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and per analysis of functional languages)
    • IEEE Computer Society Press
    • P. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and per analysis of functional languages). In Proceedings of the IEEE International Conference on Computer Languages (ICCL '94), pages 95-112. IEEE Computer Society Press, 1994.
    • (1994) Proceedings of the IEEE International Conference on Computer Languages (ICCL '94) , pp. 95-112
    • Cousot, P.1    Cousot, R.2
  • 27
    • 33746046682 scopus 로고
    • Properties of substitutions and unifications
    • E. Eder. Properties of substitutions and unifications. Journal of Symbolic Computation, 1:31-46, 1985.
    • (1985) Journal of Symbolic Computation , vol.1 , pp. 31-46
    • Eder, E.1
  • 28
    • 0024916816 scopus 로고
    • Declarative modeling of the operational behavior of logic languages
    • DOI 10.1016/0304-3975(89)90070-4
    • M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289-318, 1989. (Pubitemid 20646244)
    • (1989) Theoretical Computer Science , vol.69 , Issue.3 , pp. 289-318
    • Falaschi, M.1    Levi, G.2    Palamidessi, C.3    Martelli, M.4
  • 29
    • 0002338883 scopus 로고
    • A model-theoretic reconstruction of the operational semantics of logic programs
    • M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 102(1): 86-113, 1993.
    • (1993) Information and Computation , vol.102 , Issue.1 , pp. 86-113
    • Falaschi, M.1    Levi, G.2    Martelli, M.3    Palamidessi, C.4
  • 30
    • 0023404024 scopus 로고
    • Error diagnosis in logic programming, an adaptation of E. Y. Shapiro's method
    • G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of E. Y. Shapiro's Method. Journal of Logic Programming, 4:177-198, 1987.
    • (1987) Journal of Logic Programming , vol.4 , pp. 177-198
    • Ferrand, G.1
  • 32
    • 0001052191 scopus 로고    scopus 로고
    • A unifying view of abstract domain design
    • G. Filé, R. Giacobazzi, and F. Ranzato. A unifying view on abstract domain design. ACM Computing Surveys, 28(2):333-336, 1996. (Pubitemid 126627752)
    • (1996) ACM Computing Surveys , vol.28 , Issue.2 , pp. 333-336
    • File, G.1    Giacobazzi, R.2    Ranzato, F.3
  • 34
    • 0029488860 scopus 로고
    • Generalized semantics and abstract interpretation for constraint logic programs
    • R. Giacobazzi, S.K. Debray, and G. Levi. Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. Journal of Logic Programming, 25(3):191-247, 1995.
    • (1995) Journal of Logic Programming , vol.25 , Issue.3 , pp. 191-247
    • Giacobazzi, R.1    Debray, S.K.2    Levi, G.3
  • 36
    • 84947943046 scopus 로고    scopus 로고
    • Compositional Optimization of Disjunctive Abstract Interpretations
    • Programming Languages and Systems ESOP '96
    • R. Giacobazzi and F. Ranzato. Compositional optimization of disjunctive abstract interpretations. In H.R. Nielson, editor, Proc. of the 1996 European Symposium on Programming, volume 1058 of Lecture Notes in Computer Science, pages 141-155. Springer-Verlag, 1996. (Pubitemid 126064375)
    • (1996) Lecture Notes in Computer Science , Issue.1058 , pp. 141-155
    • Giacobazzi, R.1    Ranzato, F.2
  • 38
    • 0013066110 scopus 로고
    • Declarative error diagnosis
    • J. W. Lloyd. Declarative error diagnosis. New Generation Computing, 5(2):133-154, 1987.
    • (1987) New Generation Computing , vol.5 , Issue.2 , pp. 133-154
    • Lloyd, J.W.1
  • 40
    • 84969235370 scopus 로고    scopus 로고
    • Prime Factorizations of Abstract Domains Using First Order Logic
    • Algebraic and Logic Programming
    • E. Marchiori. Prime factorizations of abstract domains using first order logic. In M. Hanus and M. Rodriguez-Artalejo, editors, Algebraic and Logic Programming, volume 1139 of Lecture Notes in Computer Science, pages 209-223. Springer-Verlag, 1996. (Pubitemid 126129072)
    • (1996) Lecture Notes in Computer Science , Issue.1139 , pp. 209-223
    • Marchiori, E.1
  • 42
    • 0344634895 scopus 로고
    • Declarative diagnosis of missing answers
    • L. Naish. Declarative diagnosis of missing answers. New Generation Computing, 10:255-285, 1991.
    • (1991) New Generation Computing , vol.10 , pp. 255-285
    • Naish, L.1
  • 44
    • 0020847952 scopus 로고
    • Enumeration of success patterns in logic programs
    • T. Sato and H. Tamaki. Enumeration of Success Patterns in Logic Programs. Theoretical Computer Science, 34:227-240, 1984.
    • (1984) Theoretical Computer Science , vol.34 , pp. 227-240
    • Sato, T.1    Tamaki, H.2
  • 47
    • 0017013056 scopus 로고
    • The semantics of predicate logic as a programming language
    • M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733-742, 1976.
    • (1976) Journal of the ACM , vol.23 , Issue.4 , pp. 733-742
    • Van Emden, M.H.1    Kowalski, R.A.2


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