Abstract | ||
---|---|---|
We define a formal system supporting separate compilation for a small but significant Java-like language. This system permits to derive typings which are stronger than those of the standard type systems for Java, by introducing the notions of local type assumption and entailment of type environments. The former allows the user to specify weaker requirements on the source fragments which need to be compiled in isolation, whereas the latter syntactically captures the concept of stronger type environment. One of the most important advantages of this approach consists in a better support for selective recompilation; indeed, based on the formal system, it is possible to define an algorithm able to avoid the unnecessary recompilation steps which are usually performed by the Java compilers. Finally, we show how the whole system could be eectively imple- mented in order to support true separate compilation. |
Year | Venue | DocType |
---|---|---|
2004 | Journal of Object Technology | Journal |
Volume | Issue | Citations |
3 | 6 | 2 |
PageRank | References | Authors |
0.46 | 11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Davide Ancona | 1 | 727 | 69.43 |
Giovanni Lagorio | 2 | 212 | 17.98 |