Multivariant Non-failure Analysis via Standard Abstract Interpretation-Reference-Cited by-同舟云学术

Multivariant Non-failure Analysis via Standard Abstract Interpretation

Published:2004 Issue: Volume: Page:100-116
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Bueno Francisco,López-García Pedro,Hermenegildo Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24754-8_9

Reference22 articles.

1. Braem, C., Le Charlier, B., Modart, S., Van Hentenryck, P.: Cardinality analysis of prolog. In: Proc. International Symposium on Logic Programming, Ithaca, NY, November 1994, pp. 457–471. MIT Press, Cambridge (1994)

2. Bruynooghe, M.: A Framework for the Abstract Interpretation of Logic Programs. Tech. Rep. CW62, Dept. of C.S., Katholieke Universiteit Leuven (October 1987)

3. Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming 10, 91–124 (1991)

4. Bueno, F., López-García, P., Puebla, G., Hermenegildo, M.: The Ciao Prolog Preprocessor. Technical Report CLIP1/04, Technical University of Madrid (UPM), Facultad de Informática, 28660 Boadilla del Monte, Madrid, Spain (January 2004)

5. Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: ACM Symposium on Principles of Programming Languages, pp. 238–252 (1977)

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

1. Types, Modes and so Much More – The Prolog Way;Prolog: The Next 50 Years;2023

2. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28

3. Testing Your (Static Analysis) Truths;Logic-Based Program Synthesis and Transformation;2021

4. Verifying Fail-Free Declarative Programs;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03

5. 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