True separate compilation of Java classes

Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)

Volumn , Issue , 2002, Pages 189-200

  Ancona, D ^a   Lagorio, G ^a   Zucca, E ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

Object oriented programming; Separate compilation; Types

Indexed keywords

BINARY CODES; CODING ERRORS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SOFTWARE PROTOTYPING;

JAVA BYTECODE;

JAVA PROGRAMMING LANGUAGE;

EID: 0036989110     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/571157.571177     Document Type: Conference Paper

References (10)

1. D. Ancona and G. Lagorio. Supporting true separate compilation in Java: A modular approach. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 2002. Submitted for publication.
2. D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP'02 - European Conference on Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609-635. Springer, 2002.
3. L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266-277. ACM Press, 1997.
4. S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 41-82. Springer, 1999.
5. S. Drossopoulou, T. Valkevych, and S. Eisenbach. Java type soundness revisited. Technical report, Dept. of Computing - Imperial College of Science, Technology and Medicine, September 2000.
6. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java™ Language Specification, Second Edition. Addison-Wesley, 2000.
7. P. H. Hartel and L. Moreau. Formalizing the safety of Java, the Java Virtual Machine and Java card. ACM Computing Surveys, 33(4):517-558, 2001.
8. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Second edition, 1999.
9. S. McDirmid, M.Flatt, and W. Hsieh. Jiazzi: New age components for old fashioned java. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 2001. ACM Press, October 2001. SIGPLAN Notices.
10. Z. Shao and A. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439-450. ACM Press, 1993.