Author:
Albert Elvira,Puebla Germán,Hermenegildo Manuel
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;D. Aspinall,2005
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 System. Reference Manual (v1.10). Technical University of Madrid (UPM) (May 2004), Available at
http://clip.dia.fi.upm.es/Software/Ciao
4. Lecture Notes in Computer Science;W. Charatonik,2000
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
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Correctness Witness Validation by Abstract Interpretation;Lecture Notes in Computer Science;2023-12-30
2. Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. Reusing Predicate Precision in Value Analysis;Lecture Notes in Computer Science;2022
4. Cooperative verifier-based testing with CoVeriTest;International Journal on Software Tools for Technology Transfer;2021-04-25
5. Verified Software Units;Programming Languages and Systems;2021