Davide Ancona, Giovanni Lagorio  Home/Search
Context Related
| disi.unige.it/person/Lagorio...paper.ps 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 formally define and implement a formal system supporting separate compilation for a small but significant Java-like language. (Update)
Cited by: More
Unknown - Ist- Dynamic Assembly (Correct)
Towards a Smart Compilation Manager for Java (Extended Abstract) - Lagorio (2003) (Correct)
Another Step Towards a Smart Compilation Manager for Java - Lagorio (2004) (Correct)
Active bibliography (related documents): More All
0.4: Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (Correct)
0.4: Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (Correct)
0.3: Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
Similar documents based on text: More All
0.7: Type systems for Java separate compilation and selective.. - Lagorio (2004) (Correct)
0.7: Smart Modules for Java-like Languages - Davide Ancona Giovanni (2004) (Correct)
0.5: Jam - A Smooth Extension of Java with Mixins - Ancona, Lagorio, Zucca (1999) (Correct)
Related documents from co-citation: More All
10: The cost of selective recompilation and environment processing (context) - Adams, Tichy et al. - 1994
9: Principal typings for Java-like languages - Ancona, Zucca - 2004
8: The essence of principal typings - Wells - 2002
BibTeX entry: (Update)
D. Ancona and G. Lagorio. Stronger Typings for Separate Compilation of Java-like Languages. Technical report, DISI, March 2003. http://citeseer.ist.psu.edu/article/ancona03stronger.html More
@misc{ ancona03stronger,
author = "D. Ancona and G. Lagorio",
title = "Stronger Typings for Separate Compilation of Java-like Languages",
text = "D. Ancona and G. Lagorio. Stronger Typings for Separate Compilation of
Java-like Languages. Technical report, DISI, March 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/ancona03stronger.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
122 and modularization (context) - Cardelli, linking - 1997
101 ACM Transactions on Programming Languages and Systems (context) - Schwanke, Kaiser - 1988
75 The essence of principal typing - Wells - 2002
63 The Java TM Language Specification (context) - Gosling, Joy et al. - 2000
59 Smartest recompilation - Shao, Appel - 1993
48 Jiazzi: New age components for old fashioned Java - McDirmid, Flatt et al. - 2001
32 The cost of selective recompilation and environment processi.. (context) - Adams, Tichy et al. - 1994
29 ACM Transactions on Programming Languages and Systems (context) - Tichy - 1986
26 Flexible models for dynamic linking - Drossopoulou, Lagorio et al. - 2002
16 A formal framework for Java separate compilation - Ancona, Lagorio et al. - 2002
15 True separate compilation of Java classes - Ancona, Lagorio et al. - 2002
14 True modules for Java-like languages (context) - Ancona, Zucca - 2001
11 A compilation manager for standard ML of New Jersey - Harper, Lee et al.
5 Supporting true separate compilation in Java: A modular appr.. (context) - Ancona, Lagorio - 2002
The graph only includes citing articles where the year of publication is known.
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