D. Ancona and G. Lagorio
Stronger typings
for separate compilation of Java-like languages (extended
abstract)
In Fifth Workshop on Formal Techniques for Java Programs, July
2003
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 effectively
implemented in order to support true separate compilation.
[ bib |
.pdf |
http ]
Back
This file has been generated by
bibtex2html 1.43