 | 2009 |
|---|
| 19 |       | Davide Ancona,
Giovanni Lagorio:
Coinductive Type Systems for Object-Oriented Languages.
ECOOP 2009: 2-26 |
| 18 | | Giovanni Lagorio,
Marco Servetto,
Elena Zucca:
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.
ECOOP 2009: 244-268 |
| 2008 |
|---|
| 17 | | Maura Cerioli,
Giovanni Lagorio,
Enrico Morten,
Gianna Reggio:
Gesper: Support to Capitalize on Experience in a Network of SMEs.
ISoLA 2008: 738-752 |
| 16 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type Inference by Coinductive Logic Programming.
TYPES 2008: 1-18 |
| 2007 |
|---|
| 15 |  | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type inference for polymorphic methods in Java-like languages.
ICTCS 2007: 118-129 |
| 14 | | Giovanni Lagorio,
Elena Zucca:
Just: Safe Unknown Types in Java-like Languages.
Journal of Object Technology 6(2): (2007) |
| 2006 |
|---|
| 13 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages.
JMLC 2006: 136-154 |
| 12 | | Giovanni Lagorio,
Elena Zucca:
Introducing safe unknown types in Java-like languages.
SAC 2006: 1429-1434 |
| 11 | | Sophia Drossopoulou,
Giovanni Lagorio,
Susan Eisenbach:
A flexible model for dynamic linking in Java and C#.
Theor. Comput. Sci. 368(1-2): 1-29 (2006) |
| 2004 |
|---|
| 10 | | Giovanni Lagorio:
Another step towards a smart compilation manager for Java.
SAC 2004: 1275-1280 |
| 9 | | Giovanni Lagorio:
Capturing ghost dependencies in Java sources.
Journal of Object Technology 3(11): 77-96 (2004) |
| 8 | | Davide Ancona,
Giovanni Lagorio:
Stronger Typings for Separate Compilation of Java-like Languages .
Journal of Object Technology 3(6): 5-25 (2004) |
| 2003 |
|---|
| 7 | | Sophia Drossopoulou,
Giovanni Lagorio,
Susan Eisenbach:
Flexible Models for Dynamic Linking.
ESOP 2003: 38-53 |
| 6 | | Giovanni Lagorio:
Towards a Smart Compilation Manager for Java.
ICTCS 2003: 302-315 |
| 5 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Jam - designing a Java extension with mixins.
ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) |
| 2002 |
|---|
| 4 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
A Formal Framework for Java Separate Compilation.
ECOOP 2002: 609-636 |
| 3 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
True separate compilation of Java classes.
PPDP 2002: 189-200 |
| 2001 |
|---|
| 2 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
A Core Calculus for Java Exceptions.
OOPSLA 2001: 16-30 |
| 2000 |
|---|
| 1 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Jam - A Smooth Extension of Java with Mixins.
ECOOP 2000: 154-178 |
