A flexible, (C)LP-based approach to the analysis of object-oriented programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4915 LNCS, Issue , 2008, Pages 154-168

  Méndez Lojo, Mario ^a   Navas, Jorge ^a   Hermenegildo, Manuel V ^a,b  

^a UNIVERSITY OF NEW MEXICO   (United States)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FOURIER TRANSFORMS; INFORMATION THEORY; LINGUISTICS; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROGRAMMING THEORY; QUERY LANGUAGES; SEMANTICS;

ABSTRACT INTERPRETATIONS; CONTROL FLOW GRAPH (CFG); HORN CLAUSES; SOURCE LANGUAGE (SL);

PROGRAM INTERPRETERS;

EID: 58449101063     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78769-3_11     Document Type: Conference Paper

References (33)

1. Albert, E., Gómez-Zamalloa, M., Hubert, L., Puebla, G.: Verification of Java Byte-code using Analysis and Transformation of Logic Programs. in: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 124-139. Springer, Heidelberg (2006)
2. Alves-Foss, J. (ed.): Formal Syntax and Semantics of Java. LNCS, vol. 1523. Springer, Heidelberg (1999)
3. Bacon, D.F., Sweeney, P.F.: Fast static analysis of c++ virtual function calls. Proc. of OOPSLA 1996, SIGPLAN Notices 31(10), 324-341 (1996)
4. Blanchet, B.: Escape Analysis for Object Oriented Languages. Application to Java(TM). In: Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 1999), pp. 20-34. ACM, New York (1999)
5. Bruynooghe, M.: A Practical Framework for the Abstract interpretation of Logic Programs. Journal of Logic Programming 10, 91-124 (1991)
6. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López- García, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). Technical report, School of Computer Science (UPM) (2004), http://www.ciaohome. org
7. Chang, B.-Y.E., Leino, K.R.M.: Abstract interpretation with alien expressions and heap structures. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 147-163. Springer, Heidelberg (2005)
8. Le Charlier, B., Van Hentenryck, P.: Experimental Evaluation of a Generic Abstract interpretation Algorithm for Prolog. ACM Transactions on Programming Languages and Systems 16(1), 35-101 (1994)
9. 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)
10. DeLine, R., Leino, K.R.M.: BoogiePL: A typed procedural language for checking object-oriented programs. Technical Report MSR-TR-2005-70, Microsoft Research (2005)
11. Dietrich, S.W.: Extension Tables: Memo Relations in Logic Programming. in: Fourth IEEE Symposium on Logic Programming, pp. 264-272 (September 1987)
12. Fecht, C: Gena - a tool for generating prolog analyzers from specifications. in: Mycroft, A. (ed.) SAS 1995. LNCS, vol. 983, pp. 418-419. Springer, Heidelberg (1995)
13. Genaim, S., Spoto, F.: Information Flow Analysis for Java Bytecode. In: Proc. of VMCAI. LNCS, Springer, Heidelberg (2005)
14. Gosling, J., Joy, B., Steele, G., Bracha, G.: Java(TM) Language Specification, 3rd edn. Addison-Wesley, Professional Reading (2005)
15. Hermenegildo, M., Puebla, G., Bueno, F., López-García, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 127-152. Springer, Heidelberg (2003)
16. Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Constraint Logic Programs. ACM TOPLAS 22(2), 187-223 (2000)
17. Kowalski, R., Kuehner, D.: Linear resolution with selection function. Artificial Intelligence 2, 227-260 (1971)
18. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of jml: A behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes 31(3), 1-38 (2006)
19. Leroy, X.: Java Bytecode Verification: An Overview. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, Springer, Heidelberg (2001)
20. Lev-Ami, T., Sagiv, S.: TVLA: A system for implementing static analyses. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol. 1824, pp. 280-302. Springer, Heidelberg (2000)
21. Logozzo, F., Cortesi, A.: Abstract interpretation and object-oriented languages: Quo vadis? In: Proc. of the 1st. Int'l. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005). ENTCS, Elsevier Science, Amsterdam (2005)
22. Logozzo, F.: Cibai: An abstract interpreation-based static analyzer for modular analysis and verification of Java classes. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 283-298. Springer, Heidelberg (2007)
23. Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. JLP 13(2/3), 315-347 (1992)
24. Navas, J., Méndez-Lojo, M., Hermenegildo, M.: An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. In: 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007 (July 2007)
25. Peralta, J., Cruz-Carlon, J.: From static single-assignment form to definite programs and back. In: Extended abstract in International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) (July 2006)
26. Peralta, J.C., Gallagher, J., Saǧlam, H.: Analysis of Imperative Programs through Analysis of Constraint Logic Programs. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 246-261. Springer, Heidelberg (1998)
27. Pollet, I.: Towards a generic framework for the abstract interpretation of Java. PhD thesis, Catholic University of Louvain, Dept. of Computer Science (2004)
28. Ruf, E.: Effective synchronization removal for java. PLDI 2000, SIGPLAN Notices 35(5), 208-218 (2000)
29. Secci, S., Spoto, F.: Pair-sharing analysis of object-oriented programs. In: SAS, pp. 320-335 (2005)
30. Spoto, F.: JULIA: A Generic Static Analyser for the Java Bytecode. In: Proc. of the 7th Workshop on Formal Techniques for Java-like Programs, FTfJP 2005, Glasgow, Scotland (July 2005)
31. JOlden Suite, http://www-ali.cs.umass.edu/DaCapo/benchmarks.html
32. Vallee-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java optimization framework. In: Proceedings of GASCON 1999, pp. 125-135 (1999)
33. Warren, R., Hermenegildo, M., Debray, S.K.: On the Practicality of Global Flow Analysis of Logic Programs. In: Fifth International Conference and Symposium on Logic Programming, pp. 684-699. MIT Press, Cambridge (1988)