|
|
|
|
|
|
|
[8] |
A Formal Framework for Java Separate Compilation
(compressed postscript)
D.Ancona, G.Lagorio and E.Zucca
In ECOOP 2002 - European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, Springer, 2002 |
|
|
|
|
[12] |
Towards a Smart Compilation Manager for Java
(pdf)
G.Lagorio
In ICTCS 2003, October 2003 - Italian Conference on Theoretical Computer Science, Lecture Notes in Computer Science, Springer-Verlag.
|
|
|
[14] |
Stronger Typings for Smarter Recompilation of Java-like Languages (pdf)
D.Ancona and G.Lagorio
In Journal of Object Technology, vol. 3, no. 6, Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs, June 2004, pp. 5-25.
|
|
|
|
|
|
|
|
|
|
[23] |
Type inference for polymorphic methods in Java-like languages
D.Ancona, G.Lagorio and E.Zucca
In ICTCS 2007, October 2007 - Italian Conference on Theoretical Computer Science
|
|
[24] |
Gesper: Support to Capitalize on Experience in a Network of SMEs (pdf)
M.Cerioli,
G.Lagorio,
E.Morten and
G.Reggio
In Isola 2008,
thematic session Tackling the challenges of Software Development Process for SMEs with Rigorous Support and Open Source |
|
|
|
|
|
|