Davide Ancona, Giovanni Lagorio, Elena Zucca  Home/Search
Context Related
| disi.unige.it/pers...gZucECOOP2002.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/person/LagorioG/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a formal notion, called compilation schema, suitable for specifying di#erent possibilities for performing the overall process of Java compilation, which includes typechecking of source fragments with generation of corresponding binary code, typechecking of binary fragments, extraction of type information from fragments and definition of dependencies among them. We consider three compilation schemata of interest for Java, that is, minimal, SDK and safe, which correspond to a... (Update)
Cited by: More
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
Towards a Smart Compilation Manager for Java (Extended Abstract) - Lagorio (2003) (Correct)
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
Active bibliography (related documents): More All
1.3: A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (Correct)
0.5: Type systems for Java separate compilation and selective.. - Lagorio (2004) (Correct)
0.3: Java Separate Type Checking is not Safe (Extended Abstract) - Ancona, Lagorio, Zucca (Correct)
Similar documents based on text: More All
0.9: Jam - A Smooth Extension of Java with Mixins - Ancona, Lagorio, Zucca (1999) (Correct)
0.9: Smart Modules for Java-like Languages - Davide Ancona Giovanni (2004) (Correct)
0.9: True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (Correct)
Related documents from co-citation: More All
12: and modularization (context) - Cardelli, linking - 1997
12: Describing the semantics of Java and proving type soundness (context) - Drossopoulou, Eisenbach - 1999
9: Smartest recompilation - Shao, Appel - 1993
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/article/ancona02formal.html More
@misc{ ancona02formal,
author = "D. Ancona and G. Lagorio and E. Zucca",
title = "A formal framework for Java separate compilation",
text = "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.",
year = "2002",
url = "citeseer.ist.psu.edu/article/ancona02formal.html" }
Citations (may not include all citations):122 and modularization (context) - Cardelli, linking - 1997
117 Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 1999
63 The Java TM Language Specification (context) - Gosling, Joy et al. - 2000
59 Smartest recompilation - Shao, Appel - 1993
43 Describing the semantics of Java and proving type soundness (context) - Drossopoulou, Eisenbach - 1999
40 modules and separate compilation (context) - Leroy - 1994
38 What is Java Binary Compatibility - Drossopoulou, Wragg et al. - 1998
33 Number 1523 in Lecture Notes in Computer Science (context) - Alves-Foss, Syntax et al. - 1999
32 A fragment calculus - towards a model of separate compilatio.. - Drossopoulou, Eisenbach et al. - 1999
25 Towards an abstract model of Java dynamic linking and verfic.. (context) - Drossopoulou - 2001
18 Proving Java type sound (context) - Syme - 1999
17 of Computing - Imperial College of Science (context) - Drossopoulou, Valkevych et al. - 2000
15 True separate compilation of Java classes - Ancona, Lagorio et al. - 2002
12 ACM Transactions on Programming Languages and Systems (context) - Blume, for - 1999
12 A core calculus for Java exceptions - Ancona, Lagorio et al. - 2001
12 Machine-checking the Java specification: Proving type-safety - von Oheimb, Nipkow - 1999
5 Supporting true separate compilation in Java: A modular appr.. (context) - Ancona, Lagorio - 2002
4 Separate compilation in Java: Avoiding ambiguity via monoton.. (context) - Ancona, Lagorio et al. - 2001
3 Java separate type checking is not safe (context) - Ancona, Lagorio et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/LagorioG/dart/papers/): More
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (Correct)
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