Experiments in Context-Sensitive Analysis of Modular Programs-Reference-Cited by-同舟云学术

Experiments in Context-Sensitive Analysis of Modular Programs

Published:2006 Issue: Volume: Page:163-178
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Correas Jesús,Puebla Germán,Hermenegildo Manuel V.,Bueno Francisco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11680093_11

Reference14 articles.

1. Lecture Notes in Computer Science;F. Besson,2003

2. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). The ciao system documentation series–TR, School of Computer Science, Technical University of Madrid (UPM) (June 2004), system and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/

3. Lecture Notes in Computer Science;F. Bueno,1996

4. Lecture Notes in Computer Science;F. Bueno,2001

5. Lecture Notes in Artificial Intelligence;D. Cabeza,2000

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

1. Incremental and Modular Context-sensitive Analysis;Theory and Practice of Logic Programming;2021-01-19

2. Some trade-offs in reducing the overhead of assertion run-time checks via static analysis;Science of Computer Programming;2018-04

3. Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries;Formal Aspects of Component Software;2012

4. A practical type analysis for verification of modular prolog programs;Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08;2008

5. Context-Sensitive Multivariant Assertion Checking in Modular Programs;Logic for Programming, Artificial Intelligence, and Reasoning;2006