论文信息 - Semantic Study of Java TM Bytecode Programs Transformations Bibliographical study - 字舞流文

Semantic Study of Java TM Bytecode Programs Transformations Bibliographical study

Delphine Demange | Delphine Demange

[1] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[2] Andrew W. Appel. Modern Compiler Implementation in ML: Basic Techniques , 1997 .

[3] Laurie Hendren,et al. Jimple: Simplifying Java Bytecode for Analyses and Transformations , 1998 .

[4] Laurie Hendren,et al. Decompiling Java Bytecode: Problems, Traps and Pitfalls , 2002, CC.

[5] Shin-ya Katsumata,et al. Proof-Directed De-compilation of Low-Level Code , 2001, ESOP.

[6] Atsushi Ohori,et al. The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code , 1999, Fuji International Symposium on Functional and Logic Programming.

[7] John Whaley,et al. Dynamic Optimization through the use of Automatic Runtime Specialization , 1999 .

[8] David Pichardie,et al. Proof-carrying code from certified abstract interpretation and fixpoint compression , 2006, Theor. Comput. Sci..

[9] Xavier Leroy,et al. Java Bytecode Verification: Algorithms and Formalizations , 2003, Journal of Automated Reasoning.

[10] Martin Strecker,et al. Formal Verification of a Java Compiler in Isabelle , 2002, CADE.