dblp.uni-trier.dewww.uni-trier.de

Davide Ancona

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
45EEDavide Ancona, Alex Buckley: Special track on Object-Oriented Languages and Systems: editorial message. SAC 2008: 158-159
2007
44EEDavide 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
41EEDavide 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
40EEDavide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58
39EEDavide Ancona, Giovanni Lagorio, Elena Zucca: Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154
38EEDavide 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
36EEDavide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37
35EEDavide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2005: 1256-1257
34EEDavide Ancona, Sonia Fagorzi, Elena Zucca: Mixin Modules for Dynamic Rebinding. TGC 2005: 279-298
33EEViviana Mascardi, Daniela Demergasso, Davide Ancona: Languages for Programming BDI-style Agents: an Overview. WOA 2005: 9-15
32EEDavide 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
31EEDavide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705
30EEDavide Ancona, Eugenio Moggi: Program Generation and Components. FMCO 2004: 222-250
29EEDavide 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
27EEDavide Ancona, Elena Zucca: Principal typings for Java-like languages. POPL 2004: 306-317
26EEDavide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming language and systems. SAC 2004: 1265-1266
25EESonia Fagorzi, Elena Zucca, Davide Ancona: Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288
24EEDavide Ancona, Giovanni Lagorio: Stronger Typings for Separate Compilation of Java-like Languages . Journal of Object Technology 3(6): 5-25 (2004)
2003
23EEDavide Ancona, Viviana Mascardi: Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134
22EEDavide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca: Mixin Modules and Computational Effects. ICALP 2003: 224-238
21EEDavide Ancona, Sonia Fagorzi, Elena Zucca: A Calculus for Dynamic Linking. ICTCS 2003: 284-301
20EEDavide Ancona, Giovanni Lagorio, Elena Zucca: Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003)
2002
19EEDavide Ancona, Giovanni Lagorio, Elena Zucca: A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636
18EEDavide 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
15EEDavide Ancona, Elena Zucca: True Modules for Java-like Languages. ECOOP 2001: 354-380
14EEDavide 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
12EEDavide 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: (2001)
2000
11EEDavide Ancona: MIX(FL): A Kernel Language of Mixin Modules. AMAST 2000: 454-468
10EEDavide 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
6EEDavide 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

Coauthor Index

1Massimo Ancona [44]
2Christopher Anderson [12] [14] [41]
3Rafael H. Bordini [31]
4Luigi Bozzo [37]
5Alex Buckley [45]
6Paolo Busetta [37]
7Maura Cerioli [7] [9]
8Antonio Cuni [44]
9Ferruccio Damiani [12] [14] [36] [41]
10Daniela Demergasso [33]
11Sophia Drossopoulou [12] [14] [36] [40] [41]
12Sonia Fagorzi [21] [22] [25] [28] [32] [34]
13Paola Giannini [12] [14] [41]
14Jomi Fred Hübner [31]
15Atsushi Igarashi [40]
16Giovanni Lagorio [10] [13] [18] [19] [20] [24] [39] [42]
17Gary T. Leavens [40]
18Viviana Mascardi [23] [31] [33] [37]
19Nicholas D. Matsakis [44]
20Eugenio Moggi [22] [29] [30]
21Arnd Poetzsch-Heffter [40]
22Rajeev R. Raje [26] [35]
23Mirko Viroli [26] [35] [38]
24Elena Zucca [1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [25] [27] [28] [32] [34] [36] [39] [40] [41] [42] [43]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)