Global analysis of standard Prolog programs-Reference-Cited by-同舟云学术

Global analysis of standard Prolog programs

Published:1996 Issue: Volume: Page:108-124
ISSN:0302-9743
Container-title:Programming Languages and Systems — ESOP '96
language:
Short-container-title:

Author:

Bueno F.,Cabeza D.,Hermenegildo M.,Puebla G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61055-3_32.pdf

Reference29 articles.

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

2. F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data-Flow Analysis of Prolog Programs with Extra-Logical Features. Technical Report CLIP2/95.0, Computer Science Dept., Technical U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, March 1995.

3. F. Bueno, M. García de la Banda, D. Cabeza, and M. Hermenegildo. The &-Prolog Compiler System — Automatic Parallelization Tools for LP. Technical Report CLIP5/93.0, Computer Science Dept., Technical U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 1993.

4. F. Bueno, M. García de la Banda, and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In International Symposium on Logic Programming, pages 320–336. MIT Press, November 1994.

5. M. Bugliesi, E. Lamma, and P. Mello. Modularity in Logic Programming. Journal of Logic Programming, 19–20:443–502, July 1994.

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

1. A Rule-Based Approach for Designing and Composing Abstract Domains;Logic-Based Program Synthesis and Transformation;2023

2. VeriFly: On-the-fly Assertion Checking via Incrementality;Theory and Practice of Logic Programming;2021-11

3. Proceedings of the 6th Workshop on Formal Integrated Development Environment;Electronic Proceedings in Theoretical Computer Science;2021-08-06

4. Multivariant Assertion-Based Guidance in Abstract Interpretation;Logic-Based Program Synthesis and Transformation;2019

5. Experiments in Context-Sensitive Analysis of Modular Programs;Logic Based Program Synthesis and Transformation;2006