-
1
-
-
85028681143
-
-
David F. Bacon and Peter F. Sweeney. Fast static analysis of c++ virtual function calls. In OOPSLA, pages 324-341, 1996
-
-
-
-
2
-
-
1442264340
-
Points-to analysis using bdds
-
Conference on Programming Language Design and Implementation, ACM Press
-
Berndl M., Lhoták O., Qian F., Hendren L., and Umanee N. Points-to analysis using bdds. Proceedings of the ACM SIGPLAN 2003. Conference on Programming Language Design and Implementation (2003), ACM Press 103-114
-
(2003)
Proceedings of the ACM SIGPLAN 2003
, pp. 103-114
-
-
Berndl, M.1
Lhoták, O.2
Qian, F.3
Hendren, L.4
Umanee, N.5
-
3
-
-
17144374489
-
-
Bruno Blanchet. Escape Analysis for Object Oriented Languages. Application to Java(TM). In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'99), pages 20-34, Denver, Colorado, November 1999
-
-
-
-
4
-
-
84879487490
-
A Model for Inter-module Analysis and Optimizing Compilation
-
Logic-based Program Synthesis and Transformation, Springer-Verlag
-
Bueno F., de la Banda M.G., Hermenegildo M., Marriott K., Puebla G., and Stuckey P. A Model for Inter-module Analysis and Optimizing Compilation. Logic-based Program Synthesis and Transformation. LNCS number 2042 (March 2001), Springer-Verlag 86-102
-
(2001)
LNCS
, vol.number 2042
, pp. 86-102
-
-
Bueno, F.1
de la Banda, M.G.2
Hermenegildo, M.3
Marriott, K.4
Puebla, G.5
Stuckey, P.6
-
5
-
-
19044389884
-
-
Bor-Yuh Evan Chang and K. Rustan M. Leino. Abstract interpretation with alien expressions and heap structures. In VMCAI, pages 147-163, 2005
-
-
-
-
6
-
-
85020638518
-
Optimization Techniques for General Purpose Fixpoint Algorithms: Practical Efficiency for the Abstract Interpretation of Prolog
-
Springer-Verlag
-
Le Charlier B., Degimbe O., Michael L., and Van Hentenryck P. Optimization Techniques for General Purpose Fixpoint Algorithms: Practical Efficiency for the Abstract Interpretation of Prolog. Workshop on Static Analysis (September 1993), Springer-Verlag 15-26
-
(1993)
Workshop on Static Analysis
, pp. 15-26
-
-
Le Charlier, B.1
Degimbe, O.2
Michael, L.3
Van Hentenryck, P.4
-
7
-
-
33745593108
-
Experiments in Context-Sensitive Analysis of Modular Programs
-
15th International Symposium on Logic-based Program Synthesis and Transformation. (LOPSTR'05), Springer-Verlag
-
Correas J., Puebla G., Hermenegildo M., and Bueno F. Experiments in Context-Sensitive Analysis of Modular Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation. (LOPSTR'05). LNCS 3901 (April 2006), Springer-Verlag
-
(2006)
LNCS
, vol.3901
-
-
Correas, J.1
Puebla, G.2
Hermenegildo, M.3
Bueno, F.4
-
8
-
-
85050550846
-
-
P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Fourth ACM Symposium on Principles of Programming Languages, pages 238-252, 1977
-
-
-
-
9
-
-
2442589724
-
-
P. Cousot and R. Cousot. An abstract interpretation-based framework for software watermarking. Conference Record of the Thirtyfirst Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 173-185, Venice, Italy, January 14-16 2004. ACM Press, New York, NY
-
-
-
-
10
-
-
84948958710
-
-
Jeffrey Dean, David Grove, and Craig Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP, pages 77-101, 1995
-
-
-
-
12
-
-
0023561596
-
-
S. W. Dietrich. Extension Tables: Memo Relations in Logic Programming. In Fourth IEEE Symposium on Logic Programming, pages 264-272, September 1987
-
-
-
-
13
-
-
24144440405
-
Information Flow Analysis for Java Bytecode
-
Proc. of VMCAI, Springer-Verlag
-
Genaim S., and Spoto F. Information Flow Analysis for Java Bytecode. Proc. of VMCAI. LNCS (2005), Springer-Verlag
-
(2005)
LNCS
-
-
Genaim, S.1
Spoto, F.2
-
14
-
-
0037882758
-
Incremental Analysis of Constraint Logic Programs
-
Hermenegildo M., Puebla G., Marriott K., and Stuckey P. Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems 22 2 (March 2000) 187-223
-
(2000)
ACM Transactions on Programming Languages and Systems
, vol.22
, Issue.2
, pp. 187-223
-
-
Hermenegildo, M.1
Puebla, G.2
Marriott, K.3
Stuckey, P.4
-
16
-
-
33845245278
-
Preliminary design of jml: a behavioral interface specification language for java
-
Leavens G.T., Baker A.L., and Ruby C. Preliminary design of jml: a behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes 31 3 (2006) 1-38
-
(2006)
SIGSOFT Softw. Eng. Notes
, vol.31
, Issue.3
, pp. 1-38
-
-
Leavens, G.T.1
Baker, A.L.2
Ruby, C.3
-
17
-
-
84958745294
-
-
Xavier Leroy. Java bytecode verification: An overview. In CAV, pages 265-285, 2001
-
-
-
-
18
-
-
34547459890
-
-
Tal Lev-Ami and Shmuel Sagiv. TVLA: A system for implementing static analyses. In SAS, 2000
-
-
-
-
20
-
-
19044364624
-
Abstract interpretation and object-oriented languages: quo vadis?
-
Proc. of the 1st. Int'l. Workshop on Abstract Interpretation of Object-oriented Languages. (AIOOL'05) Elsevier Science
-
Logozzo F., and Cortesi A. Abstract interpretation and object-oriented languages: quo vadis?. Proc. of the 1st. Int'l. Workshop on Abstract Interpretation of Object-oriented Languages. (AIOOL'05). ENTCS (January 2005) Elsevier Science
-
(2005)
ENTCS
-
-
Logozzo, F.1
Cortesi, A.2
-
21
-
-
34547428306
-
-
Francesco Logozzo. Cibai: An abstract interpreation-based static analyzer for modular analysis and verification of java classes. In VMCAI'07. To appear, Jan 2007
-
-
-
-
22
-
-
34547485765
-
-
M. Méndez, J. Navas, and M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Technical Report CLIP9/2006.0, Technical University of Madrid (UPM), School of Computer Science, UPM, December 2006
-
-
-
-
23
-
-
84959039621
-
Decompiling java bytecode: Problems, traps and pitfalls
-
CC '02: Proceedings of the 11th International Conference on Compiler Construction, Springer-Verlag, London, UK
-
Miecznikowski J., and Hendren L.J. Decompiling java bytecode: Problems, traps and pitfalls. CC '02: Proceedings of the 11th International Conference on Compiler Construction. Lecture Notes in Computer Science volume 2304 (2002), Springer-Verlag, London, UK 111-127
-
(2002)
Lecture Notes in Computer Science
, vol.2304
, pp. 111-127
-
-
Miecznikowski, J.1
Hendren, L.J.2
-
24
-
-
38249013389
-
Compile-time Derivation of Variable Dependency Using Abstract Interpretation
-
Muthukumar K., and Hermenegildo M. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming 13 2/3 (July 1992) 315-347
-
(1992)
Journal of Logic Programming
, vol.13
, Issue.2-3
, pp. 315-347
-
-
Muthukumar, K.1
Hermenegildo, M.2
-
25
-
-
34547483808
-
-
Isabelle Pollet Towards a generic framework for the abstract interpretation of Java PhD thesis, Catholic University of Louvain, 2004. Dept. of Computer Science
-
-
-
-
26
-
-
84881389043
-
Distinctness and sharing domains for static analysis of java programs
-
Springer-Verlag, London, UK
-
Pollet I., Le Charlier B., and Cortesi A. Distinctness and sharing domains for static analysis of java programs. ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming (2001), Springer-Verlag, London, UK 77-98
-
(2001)
ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming
, pp. 77-98
-
-
Pollet, I.1
Le Charlier, B.2
Cortesi, A.3
-
27
-
-
84958769068
-
Modular Control Flow Analysis for Libraries
-
Static Analysis Symposium. SAS'02, Springer-Verlag
-
Probst C.W. Modular Control Flow Analysis for Libraries. Static Analysis Symposium. SAS'02. LNCS volume 2477 (2002), Springer-Verlag 165-179
-
(2002)
LNCS
, vol.2477
, pp. 165-179
-
-
Probst, C.W.1
-
28
-
-
0037544944
-
An Assertion Language for Constraint Logic Programs
-
Analysis and Visualization Tools for Constraint Programming, Springer
-
Puebla G., Bueno F., and Hermenegildo M. An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming. LNCS 1870 (2000), Springer 23-61
-
(2000)
LNCS
, vol.1870
, pp. 23-61
-
-
Puebla, G.1
Bueno, F.2
Hermenegildo, M.3
-
29
-
-
84957647668
-
Optimized Algorithms for the Incremental Analysis of Logic Programs
-
SAS'96, Springer
-
Puebla G., and Hermenegildo M. Optimized Algorithms for the Incremental Analysis of Logic Programs. SAS'96. LNCS 1145 (1996), Springer 270-284
-
(1996)
LNCS
, vol.1145
, pp. 270-284
-
-
Puebla, G.1
Hermenegildo, M.2
-
30
-
-
0040040537
-
Magic templates: A spellbinding approach to logic programs
-
aghu Ramakrishnan R. Magic templates: A spellbinding approach to logic programs. The Journal of Logic Programming 11 3 & 4 (October/November 1991) 189-216
-
(1991)
The Journal of Logic Programming
, vol.11
, Issue.3-4
, pp. 189-216
-
-
aghu Ramakrishnan, R.1
-
31
-
-
0034449895
-
-
Erik Ruf. Effective synchronization removal for java. In PLDI, pages 208-218, 2000
-
-
-
-
32
-
-
33646023195
-
-
Stefano Secci and Fausto Spoto. Pair-sharing analysis of object-oriented programs. In SAS, pages 320-335, 2005
-
-
-
-
33
-
-
34547457890
-
-
F. Spoto. 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. Available at www.sci.univr.it/~spoto/papers.html
-
-
-
-
34
-
-
34547462049
-
-
M. Streckenbach and G. Snelting. Points-to for java: A general framework and an empirical comparison. Technical report, University Passau, November 2000
-
-
-
-
35
-
-
34547442257
-
-
Raja Vallee-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, and Phong Co. Soot - a Java optimization framework. In Proceedings of CASCON 1999, pages 125-135, 1999
-
-
-
|