Abstract interpretation of resolution-based semantics-Reference-Cited by-同舟云学术

Abstract interpretation of resolution-based semantics

Published:2009-11 Issue:46 Volume:410 Page:4724-4746
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Cousot Patrick,Cousot Radhia,Giacobazzi Roberto

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference51 articles.

1. The semantics of predicate logic as a programming language;van Emden;Journal of the ACM,1976

2. On the declarative and procedural semantics of logic programs;Przymusinski;Journal of Automated Reasoning,1989

3. Stepwise development of operational and denotational semantics for Prolog;Jones,1984

4. Denotational and operational semantics for Prolog;Debray,1987

5. A semantics-based framework for the abstract interpretation of Prolog;Jones,1987

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11

2. Ogre and Pythia: an invariance proof method for weak consistency models;ACM SIGPLAN Notices;2017-05-11

3. Ogre and Pythia: an invariance proof method for weak consistency models;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01

4. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14

5. Grammar semantics, analysis and parsing by abstract interpretation;Theoretical Computer Science;2011-10