- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j10 |      | Giovanni Lagorio, Marco Servetto, Elena Zucca: Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214: 86-111 (2012) |
| c19 | | Davide Ancona, Giovanni Lagorio: Static Single Information Form for Abstract Compilation. IFIP TCS 2012: 10-27 |
| 2011 | ||
| j9 | | Davide Ancona, Giovanni Lagorio: Idealized coinductive type systems for imperative object-oriented programs. RAIRO - Theor. Inf. and Applic. 45(1): 3-33 (2011) |
| j8 | | Giovanni Lagorio, Marco Servetto: Strong exception-safety for checked and unchecked exceptions. Journal of Object Technology 10: 1: 1-20 (2011) |
| 2010 | ||
| j7 | | 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) |
| c18 | | 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 |
| c17 | | Davide Ancona, Giovanni Lagorio: Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. GANDALF 2010: 214-230 |
| 2009 | ||
| c16 | | Davide Ancona, Giovanni Lagorio: Coinductive Type Systems for Object-Oriented Languages. ECOOP 2009: 2-26 |
| c15 | | Giovanni Lagorio, Marco Servetto, Elena Zucca: Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268 |
| c14 |  | Davide Ancona, Giovanni Lagorio: An idealized coinductive type system for imperative object-oriented programs. ICTCS 2009: 19-25 |
| c13 | | Giovanni Lagorio, Marco Servetto, Elena Zucca: Customizable composition operators for Java-like classes. ICTCS 2009: 136-142 |
| 2008 | ||
| c12 | | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio: Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752 |
| c11 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 |
| 2007 | ||
| j6 | | Giovanni Lagorio, Elena Zucca: Just: Safe Unknown Types in Java-like Languages. Journal of Object Technology 6(2): 69-98 (2007) |
| j5 | | Giovanni Lagorio: Modelling a JVM for polymorphic bytecode. Journal of Object Technology 6(5): 71-100 (2007) |
| c10 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129 |
| 2006 | ||
| j4 | | 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) |
| c9 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154 |
| c8 | | Giovanni Lagorio, Elena Zucca: Introducing safe unknown types in Java-like languages. SAC 2006: 1429-1434 |
| 2004 | ||
| j3 | | Davide Ancona, Giovanni Lagorio: Stronger Typings for Separate Compilation of Java-like Languages . Journal of Object Technology 3(6): 5-25 (2004) |
| j2 | | Giovanni Lagorio: Capturing ghost dependencies in Java sources. Journal of Object Technology 3(11): 77-96 (2004) |
| c7 | | |
| 2003 | ||
| j1 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) |
| c6 | | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: Flexible Models for Dynamic Linking. ESOP 2003: 38-53 |
| c5 | | |
| 2002 | ||
| c4 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636 |
| c3 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: True separate compilation of Java classes. PPDP 2002: 189-200 |
| 2001 | ||
| c2 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30 |
| 2000 | ||
| c1 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178 |
| 1 | Davide Ancona | |
| 2 | Maura Cerioli | |
| 3 | Andrea Corradi | |
| 4 | Ferruccio Damiani | |
| 5 | Sophia Drossopoulou | |
| 6 | Susan Eisenbach | |
| 7 | Enrico Morten | |
| 8 | Gianna Reggio | |
| 9 | Marco Servetto | |
| 10 | Elena Zucca |
Data released under the ODC-BY 1.0 license — See also our legal information page