Combinations of abstract domains for logic programming: open product and generic pattern construction-Reference-Cited by-同舟云学术

Combinations of abstract domains for logic programming: open product and generic pattern construction

Published:2000-08 Issue:1-3 Volume:38 Page:27-71
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Cortesi Agostino,Charlier Baudouin Le,Hentenryck Pascal Van

Publisher

Elsevier BV

Subject

Software

Reference61 articles.

1. A general framework for semantics-based bottom-up abstract interpretation of logic programs;Barbuti;ACM Trans. Programming Languages and Systems,1993

2. P. Bigot, S. Debray, K. Marriott, Understanding finiteness analysis using abstract interpretation, Proc. Internat. Joint Conf. Symp. on Logic Programming (JICSLP-92), Washington, DC, November 1992.

3. A. Bossi, M. Gabbrielli, G Levi, M.-C. Meo, Contribution to the semantics of open logic programs, Proc. Internat. Conf. on Fifth Generation Computer Systems, Tokyo, June 1992.

4. A practical framework for the abstract interpretation of logic programs;Bruynooghe;J. Logic Programming,1991

5. Propagation;Bruynooghe;Lecture Notes in Computer Science,1992

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

1. Lifting String Analysis Domains;Intelligent Systems Reference Library;2023

2. Reference Abstract Domains and Applications to String Analysis;Fundamenta Informaticae;2018-02-09

3. Structuring Abstract Interpreters Through State and Value Abstractions;Lecture Notes in Computer Science;2017

4. Sum of Abstract Domains;Lecture Notes in Computer Science;2015

5. Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java;Lecture Notes in Computer Science;2014