Compositional Compilation for Java-like Languages through Polymorphic Bytecode
暂无分享,去创建一个
Davide Ancona | Elena Zucca | Sophia Drossopoulou | Ferruccio Damiani | E. Zucca | S. Drossopoulou | D. Ancona | Ferruccio Damiani
[1] Davide Ancona,et al. Even more principal typings for Java-like languages , 2004 .
[2] Giovanni Lagorio. Type systems for Java separate compilation and selective recompilation , 2004 .
[3] Sarfraz Khurshid,et al. Is the Java Type System Sound? , 1999, Theory Pract. Object Syst..
[4] B. E. Eckbo,et al. Appendix , 1826, Epilepsy Research.
[5] Davide Ancona,et al. Principal typings for Java-like languages , 2004, POPL '04.
[6] John C. Mitchell,et al. Concepts in programming languages , 2002 .
[7] Giovanni Lagorio,et al. Towards a Smart Compilation Manager for Java , 2003, ICTCS.
[8] Joe B. Wells,et al. The Essence of Principal Typings , 2002, ICALP.
[9] Trevor Jim. What are principal typings and what are they good for? , 1996, POPL '96.
[10] Andrew W. Appel,et al. Smartest recompilation , 1993, POPL '93.
[11] Luca Cardelli,et al. Program fragments, linking, and modularization , 1997, POPL '97.
[12] Giovanni Lagorio. Capturing ghost dependencies in Java sources , 2004, J. Object Technol..
[13] Philip Wadler,et al. Featherweight Java: a minimal core calculus for Java and GJ , 2001, TOPL.
[14] Davide Ancona,et al. True separate compilation of Java classes , 2002, PPDP '02.
[15] Davide Ancona,et al. Polymorphic bytecode: compositional compilation for Java-like languages , 2005, POPL '05.
[16] Davide Ancona. Stronger Typings for Smarter Recompilation of Java-like Languages , 2004 .
[17] Jens Palsberg,et al. Type inference for record concatenation and subtyping , 2004, Inf. Comput..
[18] Giovanni Lagorio. Another step towards a smart compilation manager for Java , 2004, SAC '04.