Abstract Interpretation with Specialized Definitions-Reference-Cited by-同舟云学术

Abstract Interpretation with Specialized Definitions

Published:2006 Issue: Volume: Page:107-126
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Puebla Germán,Albert Elvira,Hermenegildo Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11823230_8.pdf

Reference27 articles.

1. Lecture Notes in Computer Science;E. Albert,2006

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

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

4. Consel, C., Koo, S.C.: Parameterized partial deduction. ACM Transactions on Programming Languages and Systems 15(3), 463–493 (1993)

5. Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238–252 (1977)

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

1. Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. Analysis and Transformation of Constrained Horn Clauses for Program Verification;Theory and Practice of Logic Programming;2021-11-15

3. Incremental Analysis of Logic Programs with Assertions and Open Predicates;Logic-Based Program Synthesis and Transformation;2020

4. Exploiting Term Hiding to Reduce Run-Time Checking Overhead;Practical Aspects of Declarative Languages;2017-12-22

5. Verification of Programs by Combining Iterated Specialization with Interpolation;Electronic Proceedings in Theoretical Computer Science;2014-12-02