A Formal Framework for Java Separate Compilation-Reference-Cited by-同舟云学术

A Formal Framework for Java Separate Compilation

Published:2002 Issue: Volume: Page:609-635
ISSN:0302-9743
Container-title:ECOOP 2002 — Object-Oriented Programming
language:
Short-container-title:

Author:

Ancona Davide,Lagorio Giovanni,Zucca Elena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-47993-7_26

Reference19 articles.

1. Lect Notes Comput Sci,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.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A flexible model for dynamic linking in Java and C#;Theoretical Computer Science;2006-12

2. A Framework for Modular Linking in OO Languages;Lecture Notes in Computer Science;2006

3. Modular typechecking for hierarchically extensible datatypes and functions;ACM Transactions on Programming Languages and Systems;2004-09

4. Towards a Smart Compilation Manager for Java;Lecture Notes in Computer Science;2003