메뉴 건너뛰기




Volumn 1345, Issue , 1997, Pages 225-238

Automated verification of behavioural properties of prolog programs

Author keywords

Logic programming; Program verification; Prolog; Static analysis

Indexed keywords

COMPUTATION THEORY; LOGIC PROGRAMMING; PROGRAM DEBUGGING; STATIC ANALYSIS;

EID: 84947926146     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63875-X_55     Document Type: Conference Paper
Times cited : (4)

References (19)
  • 6
    • 0344203286 scopus 로고
    • Static Type Analysis of Prolog Procedures for Ensuring Correctness
    • LNCS 456, Springer-Verlag, Linköping, Sweden
    • P. De Boeck and B. Le Charlier. Static Type Analysis of Prolog Procedures for Ensuring Correctness. In PLILP'90, LNCS 456, Springer-Verlag, pages 222-237, Linköping, Sweden, 1990.
    • (1990) PLILP'90 , pp. 222-237
    • De Boeck, P.1    Le Charlier, B.2
  • 8
    • 84957034321 scopus 로고
    • The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization
    • LNCS 864, Springer-Verlag
    • Thomas W. Getzinger. The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization. In SAS'94, LNCS 864, Springer-Verlag, pages 1-25, 1994.
    • (1994) SAS'94 , pp. 1-25
    • Getzinger, T.W.1
  • 9
    • 84949456522 scopus 로고
    • FOLON: An Environment for Declarative Construction of Logic Programs
    • In M. Bruynooghe and M. Wirsing, editors,, LNCS 631, Springer-Verlag, Leuven
    • J. Henrard and B. Le Charlier. FOLON: An Environment for Declarative Construction of Logic Programs. In M. Bruynooghe and M. Wirsing, editors, PLILP'92, LNCS 631, Springer-Verlag, Leuven, 1992.
    • (1992) PLILP'92
    • Henrard, J.1    Le Charlier, B.2
  • 11
    • 0345496999 scopus 로고    scopus 로고
    • Technical Report RR-96-001, Facultés Universitaires Notre-Dame de la Paix, Institut d'lnformatique, February
    • B. Le Charlier and S. Rossi. Sequence-Based Abstract Semantics of Prolog. Technical Report RR-96-001, Facultés Universitaires Notre-Dame de la Paix, Institut d'lnformatique, February 1996.
    • (1996) Sequence-Based Abstract Semantics of Prolog
    • Le Charlier, B.1    Rossi, S.2
  • 12
    • 84957690345 scopus 로고    scopus 로고
    • An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut
    • In M. Bruynooghe, editor, Ithaca NY, USA, November 1994. MIT Press
    • B. Le Charlier, S. Rossi, and P. Van Hentenryck. An Abstract Interpretation Framework Which Accurately Handles Prolog Search-Rule and the Cut. In M. Bruynooghe, editor, ILPS'04, Ithaca NY, USA, November 1994. MIT Press.
    • ILPS'04
    • Le Charlier, B.1    Rossi, S.2    Van Hentenryck, P.3
  • 15
    • 21844493431 scopus 로고
    • Reexecution in Abstract Interpretation of Prolog
    • B. Le Charlier and P. Van Hentenryck. Reexecution in Abstract Interpretation of Prolog. Acta Informatica, 32:209-253, 1995.
    • (1995) Acta Informatica , vol.32 , pp. 209-253
    • Le Charlier, B.1    Van Hentenryck, P.2
  • 17
    • 0003453263 scopus 로고
    • Springer Series: Symbolic Computation-Artificial Intelligence. Springer-Verlag, second edition
    • J.W. Lloyd. Foundations of Logic Programming. Springer Series: Symbolic Computation-Artificial Intelligence. Springer-Verlag, second edition, 1987.
    • (1987) Foundations of Logic Programming
    • Lloyd, J.W.1
  • 18
    • 5644254079 scopus 로고
    • 1983-1993: The Wonder Years of Sequential Prolog Implementation
    • P. Van Roy. 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming, 19/20:385-441, 1994.
    • (1994) Journal of Logic Programming , vol.19-20 , pp. 385-441
    • Van Roy, P.1


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