 | 2011 |
|---|
| 56 |       | Viviana Mascardi,
Davide Ancona:
1000 Years of Coo-BDI.
DALT 2011: 95-101 |
| 55 | | 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 |
| 54 | | Davide Ancona,
Giovanni Lagorio:
Idealized coinductive type systems for imperative object-oriented programs.
RAIRO - Theor. Inf. and Applic. 45(1): 3-33 (2011) |
| 2010 |
|---|
| 53 | | 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 |
| 52 | | Davide Ancona,
Giovanni Lagorio:
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
GANDALF 2010: 214-230 |
| 51 | | 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) |
| 2009 |
|---|
| 50 | | Davide Ancona,
Giovanni Lagorio:
Coinductive Type Systems for Object-Oriented Languages.
ECOOP 2009: 2-26 |
| 49 |  | Davide Ancona,
Giovanni Lagorio:
An idealized coinductive type system for imperative object-oriented programs.
ICTCS 2009: 19-25 |
| 48 | | Viviana Mascardi,
Davide Ancona:
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs.
MALLOW 2009 |
| 2008 |
|---|
| 47 | | Davide Ancona,
Alex Buckley:
Special track on Object-Oriented Languages and Systems: editorial message.
SAC 2008: 158-159 |
| 46 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type Inference by Coinductive Logic Programming.
TYPES 2008: 1-18 |
| 45 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Parametric Calculus for Mobile Open Code.
Electr. Notes Theor. Comput. Sci. 192(3): 3-22 (2008) |
| 2007 |
|---|
| 44 | | Davide Ancona,
Massimo Ancona,
Antonio Cuni,
Nicholas D. Matsakis:
RPython: a step towards reconciling dynamically and statically typed OO languages.
DLS 2007: 53-64 |
| 43 | | Davide Ancona,
Elena Zucca:
A formal framework for compositional compilation.
ICTCS 2007: 106-117 |
| 42 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type inference for polymorphic methods in Java-like languages.
ICTCS 2007: 118-129 |
| 41 | | 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) |
| 2006 |
|---|
| 40 | | 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 |
| 39 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages.
JMLC 2006: 136-154 |
| 38 | | Davide Ancona,
Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems.
SAC 2006: 1402-1403 |
| 2005 |
|---|
| 37 | | Luigi Bozzo,
Viviana Mascardi,
Davide Ancona,
Paolo Busetta:
COOWS: Adaptive BDI Agents meet Service-Oriented Computing.
EUMAS 2005: 473 |
| 36 | | Davide Ancona,
Ferruccio Damiani,
Sophia Drossopoulou,
Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages.
POPL 2005: 26-37 |
| 35 | | Davide Ancona,
Rajeev R. Raje,
Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems.
SAC 2005: 1256-1257 |
| 34 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
Mixin Modules for Dynamic Rebinding.
TGC 2005: 279-298 |
| 33 | | Viviana Mascardi,
Daniela Demergasso,
Davide Ancona:
Languages for Programming BDI-style Agents: an Overview.
WOA 2005: 9-15 |
| 32 | | 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) |
| 2004 |
|---|
| 31 | | Davide Ancona,
Viviana Mascardi,
Jomi Fred Hübner,
Rafael H. Bordini:
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.
AAMAS 2004: 696-705 |
| 30 | | Davide Ancona,
Eugenio Moggi:
Program Generation and Components.
FMCO 2004: 222-250 |
| 29 | | Davide Ancona,
Eugenio Moggi:
A Fresh Calculus for Name Management.
GPCE 2004: 206-224 |
| 28 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus with Lazy Module Operators.
IFIP TCS 2004: 423-436 |
| 27 | | Davide Ancona,
Elena Zucca:
Principal typings for Java-like languages.
POPL 2004: 306-317 |
| 26 | | Davide Ancona,
Rajeev R. Raje,
Mirko Viroli:
Editorial message: special track on object oriented programming language and systems.
SAC 2004: 1265-1266 |
| 25 | | Sonia Fagorzi,
Elena Zucca,
Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking.
SAC 2004: 1281-1288 |
| 24 | | Davide Ancona,
Giovanni Lagorio:
Stronger Typings for Separate Compilation of Java-like Languages .
Journal of Object Technology 3(6): 5-25 (2004) |
| 2003 |
|---|
| 23 | | Davide Ancona,
Viviana Mascardi:
Coo-BDI: Extending the BDI Model with Cooperativity.
DALT 2003: 109-134 |
| 22 | | Davide Ancona,
Sonia Fagorzi,
Eugenio Moggi,
Elena Zucca:
Mixin Modules and Computational Effects.
ICALP 2003: 224-238 |
| 21 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Linking.
ICTCS 2003: 284-301 |
| 20 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Jam - designing a Java extension with mixins.
ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) |
| 2002 |
|---|
| 19 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
A Formal Framework for Java Separate Compilation.
ECOOP 2002: 609-636 |
| 18 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
True separate compilation of Java classes.
PPDP 2002: 189-200 |
| 17 | | Davide Ancona,
Elena Zucca:
A calculus of module systems.
J. Funct. Program. 12(2): 91-132 (2002) |
| 16 | | Davide Ancona,
Elena Zucca:
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics.
Mathematical Structures in Computer Science 12(6): 701-737 (2002) |
| 2001 |
|---|
| 15 | | Davide Ancona,
Elena Zucca:
True Modules for Java-like Languages.
ECOOP 2001: 354-380 |
| 14 | | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
An Effective Translation of Fickle into Java.
ICTCS 2001: 215-234 |
| 13 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
A Core Calculus for Java Exceptions.
OOPSLA 2001: 16-30 |
| 12 | | 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) |
| 2000 |
|---|
| 11 | | Davide Ancona:
MIX(FL): A Kernel Language of Mixin Modules.
AMAST 2000: 454-468 |
| 10 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Jam - A Smooth Extension of Java with Mixins.
ECOOP 2000: 154-178 |
| 1999 |
|---|
| 9 | | Davide Ancona,
Maura Cerioli,
Elena Zucca:
A Formal Framework with Late Binding.
FASE 1999: 30-44 |
| 8 | | Davide Ancona,
Elena Zucca:
A Primitive Calculus for Module Systems.
PPDP 1999: 62-79 |
| 7 | | Davide Ancona,
Maura Cerioli,
Elena Zucca:
Extending Casl by Late Binding.
WADT 1999: 53-72 |
| 1998 |
|---|
| 6 | | Davide Ancona:
An Algebraic Framework for Separate Type-Checking.
WADT 1998: 1-15 |
| 5 | | Davide Ancona,
Elena Zucca:
A Theory of Mixin Modules: Basic and Derived Operators.
Mathematical Structures in Computer Science 8(4): 401-446 (1998) |
| 1997 |
|---|
| 4 | | Davide Ancona,
Elena Zucca:
Overriding Operators in a Mixin-Based Framework.
PLILP 1997: 47-61 |
| 3 | | Davide Ancona,
Elena Zucca:
An algebra of mixin modules.
WADT 1997: 92-106 |
| 1996 |
|---|
| 2 | | Davide Ancona,
Elena Zucca:
An Algebraic Approach to Mixins and Modularity.
ALP 1996: 179-193 |
| 1 | | Davide Ancona,
Elena Zucca:
A Formal Framework for Modules with State.
AMAST 1996: 148-162 |
Data released under the ODC-BY 1.0 license — See also our legal information page