Stronger Typings for Separate Compilation of Java-like Languages (Extended Abstract)
Davide Ancona, Giovanni Lagorio · 2003
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.