Davide Ancona, Giovanni Lagorio, Elena Zucca  Home/Search
Context Related
| cs.nott.ac.uk/~gmh/appsem...lagorio.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: cs.nott.ac.uk/~gmh/appsem03 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, with some slight adjustment (Update)
Cited by: More
Even More Principal Typings for Java-like Languages - Ancona, Damiani.. (2004) (Correct)
Towards a Smart Compilation Manager for Java (Extended Abstract) - Lagorio (2003) (Correct)
Polymorphic Bytecode: Compositional Compilation.. - Ancona, Damiani.. (2005) (Correct)
Active bibliography (related documents): More All
0.2: True Separate Compilation of Java Classes - Davide Ancona Giovanni (2002) (Correct)
0.1: Type systems for Java separate compilation and selective.. - Lagorio (2004) (Correct)
0.1: Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (Correct)
Similar documents based on text: More All
1.1: 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: A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (Correct)
Related documents from co-citation: More All
13: and modularization (context) - Cardelli, linking - 1997
12: Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 1999
10: Towards a smart compilation manager for Java (context) - Lagorio - 2003
BibTeX entry: (Update)
D. Ancona, G. Lagorio, and E. Zucca. True separate compilation of Java classes. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Universit a di Genova, 2002. Submitted for publication. http://citeseer.ist.psu.edu/article/ancona02true.html More
@misc{ ancona02true,
author = "D. Ancona and G. Lagorio and E. Zucca",
title = "True separate compilation of Java classes",
text = "D. Ancona, G. Lagorio, and E. Zucca. True separate compilation of Java
classes. Technical report, Dipartimento di Informatica e Scienze dell'Informazione,
Universit a di Genova, 2002. Submitted for publication.",
year = "2002",
url = "citeseer.ist.psu.edu/article/ancona02true.html" }
Citations (may not include all citations):122 and modularization (context) - Cardelli, linking - 1997
59 Smartest recompilation - Shao, Appel - 1993
48 Jiazzi: New-age components for oldfashioned Java - McDirmid, Flatt et al. - 2001
43 Describing the semantics of Java and proving type soundness (context) - Drossopoulou, Eisenbach - 1999
17 of Computing - Imperial College of Science (context) - Drossopoulou, Valkevych et al. - 2000
16 A formal framework for Java separate compilation - Ancona, Lagorio et al. - 2002
12 ofJava, the Java Virtual Machine and Java card (context) - Hartel, Moreau et al. - 2001
1 The Java Series (context) - Lindholm, Yellin - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.nott.ac.uk/~gmh/appsem03.html): More
A Logical Framework with Dependently Typed Records - Coquand, Pollack, Takeyama (Correct)
Flow Caml in a Nutshell - Simonet (2003) (Correct)
An Elementary Theory of the Category of Locally Compact Locales - Taylor (2003) (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