Davide Ancona, Giovanni Lagorio, and Elena Zucca. A Formal Framework for Java Separate Compilation. In ECOOP 2002, June 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Lagorio) (Correct)
No context found.
Davide Ancona, Giovanni Lagorio, and Elena Zucca. A Formal Framework for Java Separate Compilation. In ECOOP 2002, June 2002.
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) Self-citation (Ancona Lagorio Zucca) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) Self-citation (Ancona Lagorio) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) Self-citation (Ancona Lagorio) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609--635. Springer, 2002.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) Self-citation (Ancona Lagorio) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002.
True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (4 citations) Self-citation (Ancona Lagorio Zucca) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In ######## # ######## ########## ## ############### ###########, Lecture Notes in Computer Science. Springer, 2002. To appear.
Type systems for Java separate compilation and selective.. - Lagorio (2004) (1 citation) Self-citation (Ancona Lagorio Zucca) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, 2002.
True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (4 citations) Self-citation (Ancona Lagorio Zucca) (Correct)
No context found.
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.
True Separate Compilation of Java Classes - Davide Ancona Giovanni (2002) (4 citations) Self-citation (Ancona Lagorio Zucca) (Correct)
....they are invoked on a closed collection of classe declarations in source form. Some generalization is achieved in [4] where it is assumed that the information in the global type environment can be extracted from a binary as well as from a source fragment, as Java compilers actually do. In [1] we have proposed a formalization of the Java compilation process where the judgment corresponding to intra checking is clearly isolated from other components (extraction of the type environment from the program and determination of the fragments on which compilation is propagated) However, still ....
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In ECOOP'02 - European Conference on Object-Oriented Programming, Lecture Notes in Computer Science. Springer, 2002. To appear.
True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (4 citations) Self-citation (Ancona Lagorio Zucca) (Correct)
....they are invoked on a closed collection of classe declarations in source form. Some generalization is achieved in [5] where it is assumed that the information in the global type environment # can be extracted from a binary as well as from a source fragment, as Java compilers actually do. In [2] we have proposed a formalization of the Java compilation process where the judgment corresponding to intra checking is clearly isolated from other components (extraction of the type environment from the program and determination of the fragments on which compilation is propagated) However, still ....
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.
Towards a Smart Compilation Manager for Java (Extended Abstract) - Lagorio (2003) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609--635. Springer, 2002.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609--635. Springer, 2002.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609--635. Springer, 2002.
Expressive Modular Linking for Object-Oriented Languages - McDirmid, al. (2002) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In In Proc. of ECOOP, pages 609--636, June 2002.
Towards a Smart Compilation Manager for Java (Extended Abstract) - Lagorio (2003) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609--635. Springer, 2002.
Expressive Modular Linking for Object-Oriented Languages - McDirmid, al. (2002) (Correct)
No context found.
D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In In Proc. of ECOOP, pages 609--636, June 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC