D. Ancona, G. Lagorio, and E. Zucca
True separate compilation of Java
classes
In Proc. 4rd Int'l Conf. Principles & Practice Declarative
Programming ACM Press, 2002
We define a type system modeling true separate
compilation for a small but significant Java subset, in the
sense that a single class declaration can be intra-checked
(following the Cardelli's terminology) and compiled providing a
minimal set of type requirements on missing classes. These
requirements are specified by a local type environment
associated with each single class, while in the existing formal
definitions of the Java type system classes are typed in a
global type environment containing all the type information on a
closed program. We also provide formal rules for static
inter-checking and relate our approach with compilation of
closed programs, by proving that we get the same results.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43