 | 2012 |
|---|
| 28 |       | Giovanni Lagorio,
Marco Servetto,
Elena Zucca:
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages.
Inf. Comput. 214: 86-111 (2012) |
| 2011 |
|---|
| 27 | | Giovanni Lagorio,
Marco Servetto:
Strong exception-safety for checked and unchecked exceptions.
Journal of Object Technology 10: 1: 1-20 (2011) |
| 26 | | Davide Ancona,
Giovanni Lagorio:
Idealized coinductive type systems for imperative object-oriented programs.
RAIRO - Theor. Inf. and Applic. 45(1): 3-33 (2011) |
| 2010 |
|---|
| 25 | | Davide Ancona,
Andrea Corradi,
Giovanni Lagorio,
Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
FoVeOOS 2010: 31-45 |
| 24 | | Davide Ancona,
Giovanni Lagorio:
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
GANDALF 2010: 214-230 |
| 23 | | Giovanni Lagorio,
Marco Servetto,
Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes.
Electr. Notes Theor. Comput. Sci. 263: 161-177 (2010) |
| 2009 |
|---|
| 22 | | Davide Ancona,
Giovanni Lagorio:
Coinductive Type Systems for Object-Oriented Languages.
ECOOP 2009: 2-26 |
| 21 | | Giovanni Lagorio,
Marco Servetto,
Elena Zucca:
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.
ECOOP 2009: 244-268 |
| 20 |  | Giovanni Lagorio,
Marco Servetto,
Elena Zucca:
Customizable composition operators for Java-like classes.
ICTCS 2009: 136-142 |
| 19 | | Davide Ancona,
Giovanni Lagorio:
An idealized coinductive type system for imperative object-oriented programs.
ICTCS 2009: 19-25 |
| 2008 |
|---|
| 18 | | Maura Cerioli,
Giovanni Lagorio,
Enrico Morten,
Gianna Reggio:
Gesper: Support to Capitalize on Experience in a Network of SMEs.
ISoLA 2008: 738-752 |
| 17 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type Inference by Coinductive Logic Programming.
TYPES 2008: 1-18 |
| 2007 |
|---|
| 16 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type inference for polymorphic methods in Java-like languages.
ICTCS 2007: 118-129 |
| 15 | | Giovanni Lagorio,
Elena Zucca:
Just: Safe Unknown Types in Java-like Languages.
Journal of Object Technology 6(2): 69-98 (2007) |
| 14 | | Giovanni Lagorio:
Modelling a JVM for polymorphic bytecode.
Journal of Object Technology 6(5): 71-100 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page