- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c50 |      | Davide Ancona, Matteo Barbieri, Viviana Mascardi: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379 |
| 2012 | ||
| c49 | | Davide Ancona: Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. ECOOP 2012: 459-483 |
| c48 | | Davide Ancona, Giovanni Lagorio: Static Single Information Form for Abstract Compilation. IFIP TCS 2012: 10-27 |
| c47 | | Davide Ancona, Viviana Mascardi, Ombretta Pavarino: Ontology-based documentation extraction for semi-automatic migration of Java code. SAC 2012: 1137-1143 |
| c46 | | |
| 2011 | ||
| j11 | | Davide Ancona, Giovanni Lagorio: Idealized coinductive type systems for imperative object-oriented programs. RAIRO - Theor. Inf. and Applic. 45(1): 3-33 (2011) |
| c45 | | |
| c44 | | Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci: CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT 2011: 109-116 |
| 2010 | ||
| j10 | | Davide Ancona, Alex Buckley: Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing. Sci. Comput. Program. 75(9): 761 (2010) |
| c43 | | 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 |
| c42 | | Davide Ancona, Giovanni Lagorio: Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. GANDALF 2010: 214-230 |
| 2009 | ||
| c41 | | Davide Ancona, Giovanni Lagorio: Coinductive Type Systems for Object-Oriented Languages. ECOOP 2009: 2-26 |
| c40 |  | Davide Ancona, Giovanni Lagorio: An idealized coinductive type system for imperative object-oriented programs. ICTCS 2009: 19-25 |
| c39 | | Viviana Mascardi, Davide Ancona: Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW 2009 |
| 2008 | ||
| j9 | | Davide Ancona, Sonia Fagorzi, Elena Zucca: A Parametric Calculus for Mobile Open Code. Electr. Notes Theor. Comput. Sci. 192(3): 3-22 (2008) |
| c38 | | Davide Ancona, Alex Buckley: Special track on Object-Oriented Languages and Systems: editorial message. SAC 2008: 158-159 |
| c37 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 |
| 2007 | ||
| j8 | | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2) (2007) |
| c36 | | Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis: RPython: a step towards reconciling dynamically and statically typed OO languages. DLS 2007: 53-64 |
| c35 | | |
| c34 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129 |
| 2006 | ||
| c33 | | Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 |
| c32 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154 |
| c31 | | Davide Ancona, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2006: 1402-1403 |
| 2005 | ||
| j7 | | Davide Ancona, Sonia Fagorzi, Elena Zucca: A Calculus for Dynamic Reconfiguration with Low Priority Linking. Electr. Notes Theor. Comput. Sci. 138(2): 3-35 (2005) |
| c30 | | Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta: COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS 2005: 473 |
| c29 | | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 |
| c28 | | Davide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2005: 1256-1257 |
| c27 | | |
| c26 | | Viviana Mascardi, Daniela Demergasso, Davide Ancona: Languages for Programming BDI-style Agents: an Overview. WOA 2005: 9-15 |
| 2004 | ||
| j6 | | Davide Ancona, Giovanni Lagorio: Stronger Typings for Separate Compilation of Java-like Languages . Journal of Object Technology 3(6): 5-25 (2004) |
| c25 | | Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705 |
| c24 | | |
| c23 | | |
| c22 | | Davide Ancona, Sonia Fagorzi, Elena Zucca: A Calculus with Lazy Module Operators. IFIP TCS 2004: 423-436 |
| c21 | | |
| c20 | | Davide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming language and systems. SAC 2004: 1265-1266 |
| c19 | | Sonia Fagorzi, Elena Zucca, Davide Ancona: Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288 |
| 2003 | ||
| j5 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) |
| c18 | | Davide Ancona, Viviana Mascardi: Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134 |
| c17 | | Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca: Mixin Modules and Computational Effects. ICALP 2003: 224-238 |
| c16 | | |
| 2002 | ||
| j4 | | |
| j3 | | Davide Ancona, Elena Zucca: A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Mathematical Structures in Computer Science 12(6): 701-737 (2002) |
| c15 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636 |
| c14 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: True separate compilation of Java classes. PPDP 2002: 189-200 |
| 2001 | ||
| j2 | | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A type preserving translation of Fickle into Java. Electr. Notes Theor. Comput. Sci. 62: 69-82 (2001) |
| c13 | | |
| c12 | | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 |
| c11 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30 |
| 2000 | ||
| c10 | | |
| c9 | | Davide Ancona, Giovanni Lagorio, Elena Zucca: Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178 |
| 1999 | ||
| c8 | | |
| c7 | | |
| c6 | | |
| 1998 | ||
| j1 | | Davide Ancona, Elena Zucca: A Theory of Mixin Modules: Basic and Derived Operators. Mathematical Structures in Computer Science 8(4): 401-446 (1998) |
| c5 | | |
| 1997 | ||
| c4 | | |
| c3 | | |
| 1996 | ||
| c2 | | |
| c1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page