Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)-Reference-Cited by-同舟云学术

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Published:2005-10 Issue:1-2 Volume:58 Page:115-140
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Hermenegildo Manuel V.,Puebla Germán,Bueno Francisco,López-García Pedro

Publisher

Elsevier BV

Subject

Software

Reference51 articles.

1. E. Albert, G. Puebla, M. Hermenegildo, An abstract interpretation-based approach to mobile code safety, in: Proc. of Compiler Optimization meets Compiler Verification, COCV’04, April 2004

2. F. Bourdoncle, Abstract debugging of higher-order imperative languages, in: Programming Languages Design and Implementation’93, 1993, pp. 46–55

3. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla, The Ciao prolog system, Reference manual, The Ciao System Documentation Series–TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), 1997. System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/

4. Global analysis of standard prolog programs;Bueno,1996

5. On the role of semantic approximations in validation and diagnosis of constraint logic programs;Bueno,1997

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

1. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials;Electronic Proceedings in Theoretical Computer Science;2023-09-12

2. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis;Electronic Proceedings in Theoretical Computer Science;2023-09-12

3. Multiple Query Satisfiability of Constrained Horn Clauses;Practical Aspects of Declarative Languages;2023

4. The Top-Down Solver—An Exercise in $$\text {A}^{2}$$I;Intelligent Systems Reference Library;2023

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