A New Operational Semantics for Prolog.
作者： Kaninda Musumbu
DOI:
关键词:
摘要: The majority of abstract interpretation models defined for Prolog use operations which do not have explicit counterpart in the SLD-resolution. We propose, this paper, an operational semantics closely related to these models. prove his equivalence with SLDresolution and then we it consistency one presents [7, 8, 9]. Key-words: Logique programming, SLD-resolution, static analysis, interpretation, program semantics.
archives-ouvertes.fr 参考文章(7)
Pascal Van Hentenryck, Baudouin Le Charlier, Kaninda Musumbu, A Generic Abstract Interpretation Algorithm and its Complexity Analysis. international conference on lightning protection. pp. 64- 78 ,(1991)
Maurice Bruynooghe, A practical framework for the abstract interpretation of logic programs Journal of Logic Programming. ,vol. 10, pp. 91- 124 ,(1991) , 10.1016/0743-1066(91)80001-T
C. S. Mellish, Abstract interpretation of Prolog programs international conference on logic programming. pp. 463- 474 ,(1986) , 10.1007/3-540-16492-8_95
Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory MIT Press. ,(1981)
Patrick Cousot, Radhia Cousot, Abstract interpretation Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77. pp. 238- 252 ,(1977) , 10.1145/512950.512973
P. Codognet, G. File, Computations, abstractions and constraints in logic programs international conference on computational logistics. pp. 155- 164 ,(1992) , 10.1109/ICCL.1992.185478
B. Le Charlier, P. Van Hentenryck, Experimental evaluation of a generic abstract interpretation algorithm for Prolog international conference on computational logistics. pp. 137- 146 ,(1992) , 10.1109/ICCL.1992.185476