Davide Ancona, Giovanni Lagorio  Home/Search
Context Related
| cs.kun.nl/~erikpoll/ftfjp/2003...01.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cs.kun.nl/~erikpoll/ftfjp/2003 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Davide Ancona and Giovanni Lagorio DISI - Universita di Genova Via Dodecaneso, 35, 16146 Genova (Italy) email: {davide,lagorio}@disi.unige.it Abstract. We define 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.7: Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (Correct)
0.7: Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (Correct)
0.5: Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
Similar documents based on text: More All
0.6: Type systems for Java separate compilation and selective.. - Lagorio (2004) (Correct)
0.5: Jam - A Smooth Extension of Java with Mixins - Ancona, Lagorio, Zucca (1999) (Correct)
0.4: Java Separate Type Checking is not Safe (Extended Abstract) - Ancona, Lagorio, Zucca (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/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/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
117 Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 1999
101 ACM Transactions on Programming Languages and Systems (context) - Schwanke, Kaiser - 1988
75 The essence of principal typings - Wells - 2002
59 Smartest recompilation - Shao, Appel - 1993
43 Describing the semantics of Java and proving type soundness (context) - Drossopoulou, Eisenbach - 1999
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. - 2003
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
15 Principal typings for Java-like languages - Ancona, Zucca
14 True modules for Java-like languages (context) - Ancona, Zucca - 2001
14 Stronger typings for separate compilation of Java-like langu.. - Ancona, Lagorio - 2003
13 Towards a smart compilation manager for Java (context) - Lagorio - 2003
11 A compilation manager for standard ML of New Jersey - Harper, Lee et al.
11 Language-specific make technology for the Java programming l.. (context) - Dmitriev - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kun.nl/~erikpoll/ftfjp/2003.html): More
Algebraic Semantics of Statements of Sequential Java - Lellahi, Zamulin (2003) (Correct)
Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2003) (Correct)
Toward Automatic Generation of Provably Correct Java Card Applets - Coglio (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