All Title Author
Keywords Abstract

Abstract Interpretation Based Verification of Prolog Programs

Keywords: Prolog

Full-Text   Cite this paper   Add to My Lib


Abstract interpretation is a general theory of semantics approximation,which has been widely used in the verification of computer programs.Existing abstract interpretation based verification methods for logic programs do not deal with the properties associated with the program points.Based on our previous work on Prolog semantics,an abstract interpretation based verification method for Prolog programs is proposed in this paper,which makes use of a denotational semantics for Prolog that contains path informa...


comments powered by Disqus

Contact Us


微信:OALib Journal