메뉴 건너뛰기




Volumn 2250, Issue , 2001, Pages 595-609

How to transform an analyzer into a verifier

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

EID: 84937510134     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45653-8_41     Document Type: Conference Paper
Times cited : (1)

References (22)
  • 2
    • 0007457136 scopus 로고    scopus 로고
    • On the role of semantic approximations in validation and diagnosis of constraint logic programs
    • M. Kamkar, editor, Linkoping University
    • F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In M. Kamkar, editor, Proceedings of the AADEBUG'97, pages 155-169. Linkoping University, 1997.
    • (1997) Proceedings of the AADEBUG'97 , pp. 155-169
    • Bueno, F.1    Deransart, P.2    Drabent, W.3    Ferrand, G.4    Hermenegildo, M.5    Maluszynski, J.6    Puebla, G.7
  • 3
    • 0000922612 scopus 로고    scopus 로고
    • Type dependencies for logic programs using ACI-unification
    • M. Codish and V. Lagoon. Type Dependencies for Logic Programs using ACI-unification. Journal of Theoretical Computer Science, 238:131-159, 2000.
    • (2000) Journal of Theoretical Computer Science , vol.238 , pp. 131-159
    • Codish, M.1    Lagoon, V.2
  • 7
    • 18944390494 scopus 로고    scopus 로고
    • Constructive design of a Hierarchy of semantics of a transition system by abstract interpretation
    • S. Brookes and M. Mislove, editors, Elsevier Science Publishers
    • P. Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. In S. Brookes and M. Mislove, editors, Proceedings of MFPS'97, volume 6 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 1997. Available at URL: (http://www.elsevier.nl/locate/entcs/volume6.html).
    • (1997) Proceedings of MFPS'97, Volume 6 of Electronic Notes in Theoretical Computer Science
    • Cousot, P.1
  • 9
    • 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 Proceedings of Fourth ACM Symp. Principles of Programming Languages, pages 238-252, 1977.
    • (1977) Proceedings of Fourth ACM Symp. Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 12
    • 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, Proceedings of PLILP'92, volume 631 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag, 1992.
    • (1992) Proceedings of PLILP'92, Volume 631 of Lecture Notes in Computer Science , pp. 269-295
    • Cousot, P.1    Cousot, R.2
  • 14
    • 0024035296 scopus 로고
    • Inductive assertion method for logic programs
    • W. Drabent and J. Maluszynski. Inductive Assertion Method for Logic Programs. Theoretical Computer Science, 59(1):133-155, 1988.
    • (1988) Theoretical Computer Science , vol.59 , Issue.1 , pp. 133-155
    • Drabent, W.1    Maluszynski, J.2
  • 20
    • 0014651649 scopus 로고
    • Fixpoint induction and proofs of program properties
    • D. Park. Fixpoint Induction and Proofs of Program Properties. Machine Intelligence, 5:59-78, 1969.
    • (1969) Machine Intelligence , vol.5 , pp. 59-78
    • Park, D.1
  • 21
    • 0031700830 scopus 로고    scopus 로고
    • Objective ML: An effective object-oriented extension to ML
    • D. Remy and J. Vouillon. Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object-Systems, 4(1):27-50, 1998.
    • (1998) Theory and Practice of Object-systems , vol.4 , Issue.1 , pp. 27-50
    • Remy, D.1    Vouillon, J.2


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