A formal framework for Java separate compilation

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

Volumn 2374, Issue , 2002, Pages 609-635

  Ancona, Davide ^a   Lagorio, Giovanni ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; SEMANTICS;

BINARY LANGUAGES; FORMAL FRAMEWORK; LINKAGE ERRORS; OPERATIONAL SEMANTICS; OVERALL PROCESS; RUN-TIME VERIFICATION; SEPARATE COMPILATION; TYPE INFORMATION;

OBJECT ORIENTED PROGRAMMING;

EID: 84944065606     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47993-7_26     Document Type: Conference Paper

References (19)

1. J. Alves-Foss, editor. Formal Syntax and Semantics of Java. Number 1523 in Lecture Notes in Computer Science. Springer, 1999.
2. 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.
3. D. Ancona, G. Lagorio, and E. Zucca. A core calculus for Java exceptions. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 2001. ACM Press, October 2001. SIGPLAN Notices.
4. D. Ancona, G. Lagorio, and E. Zucca. Java separate type checking is not safe. In 3th Intl. Workshop on Formal Techniques for Java Programs 2001, June 2001.
5. D. Ancona, G. Lagorio, and E. Zucca. Separate compilation in Java: Avoiding ambiguity via monotonicity. Technical Report, DISI, July 2001.
6. D. Ancona, G. Lagorio, and E. Zucca. True separate compilation of Java classes. Technical report, Dipartimento di Informatica e Scienze dell’Informazione, Università di Genova, 2002. Submitted for publication.
7. M. Blume. Dependency analysis for standard ML. ACM Transactions on Programming Languages and Systems, 21(4):790–812, 1999.
8. L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266–277. ACM Press, 1997.
9. S. Drossopoulou. Towards an abstract model of Java dynamic linking and verfication. In R. Harper, editor, TIC’00-Third Workshop on Types in Compilation (Selected Papers), volume 2071 of Lecture Notes in Computer Science, pages 53–84. Springer, 2001.
10. 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.
11. S. Drossopoulou, S. Eisenbach, and D. Wragg. A fragment calculus-towards a model of separate compilation, linking and binary compatibility. In Proc. 14th Ann. IEEE Symp. on Logic in Computer Science, July 1999.
12. 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.
13. S. Drossopoulou, D. Wragg, and S. Eisenbach. What is Java Binary Compatibility? In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1998, volume 33(10) of ACM SIGPLAN Notices, pages 341–358, October 1998.
14. J. Gosling, B. Joy, G. Steele, and G. Bracha. The JavaTM Language Specification, Second Edition. Addison-Wesley, 2000.
15. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132–146, November 1999.
16. X. Leroy. Manifest types, modules and separate compilation. In ACM Symp. on Principles of Programming Languages 1994, pages 109–122. ACM Press, 1994.
17. Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439–450. ACM Press, 1993.
18. D. Syme. Proving Java type sound. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 83–118. Springer, 1999.
19. D. von Oheimb and T. Nipkow. Machine-checking the Java specification: Proving type-safety. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 119–156. Springer, 1999.