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

Elena Zucca Vis

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

*2009
57EEGiovanni Lagorio, Marco Servetto, Elena Zucca: Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268
2008
56EEDavide Ancona, Giovanni Lagorio, Elena Zucca: Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18
55EEDavide Ancona, Sonia Fagorzi, Elena Zucca: A Parametric Calculus for Mobile Open Code. Electr. Notes Theor. Comput. Sci. 192(3): 3-22 (2008)
2007
54 Davide Ancona, Elena Zucca: A formal framework for compositional compilation. ICTCS 2007: 106-117
53 Davide Ancona, Giovanni Lagorio, Elena Zucca: Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129
52EEDavide 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)
51EESonia Fagorzi, Elena Zucca: A Calculus of Components with Dynamic Type-Checking. Electr. Notes Theor. Comput. Sci. 182: 73-90 (2007)
50EEGiovanni Lagorio, Elena Zucca: Just: Safe Unknown Types in Java-like Languages. Journal of Object Technology 6(2): (2007)
49EESonia Fagorzi, Elena Zucca: A calculus of open modules: call-by-need strategy and confluence. Mathematical Structures in Computer Science 17(4): 675-751 (2007)
2006
48EEDavide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58
47EEDavide Ancona, Giovanni Lagorio, Elena Zucca: Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154
46EEGiovanni Lagorio, Elena Zucca: Introducing safe unknown types in Java-like languages. SAC 2006: 1429-1434
45EESonia Fagorzi, Elena Zucca: A Framework for Type Safe Exchange of Mobile Code. TGC 2006: 319-338
44EESonia Fagorzi, Elena Zucca: A Calculus for Reconfiguration: (Extended abstract). Electr. Notes Theor. Comput. Sci. 135(3): 49-59 (2006)
2005
43EEDavide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37
42EEDavide Ancona, Sonia Fagorzi, Elena Zucca: Mixin Modules for Dynamic Rebinding. TGC 2005: 279-298
41EEDavide 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
40 Davide Ancona, Sonia Fagorzi, Elena Zucca: A Calculus with Lazy Module Operators. IFIP TCS 2004: 423-436
39EEDavide Ancona, Elena Zucca: Principal typings for Java-like languages. POPL 2004: 306-317
38EESonia Fagorzi, Elena Zucca, Davide Ancona: Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288
37EESonia Fagorzi, Elena Zucca: A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. Journal of Object Technology 3(11): 31-54 (2004)
2003
36EEDavide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca: Mixin Modules and Computational Effects. ICALP 2003: 224-238
35EEDavide Ancona, Sonia Fagorzi, Elena Zucca: A Calculus for Dynamic Linking. ICTCS 2003: 284-301
34EEDavide Ancona, Giovanni Lagorio, Elena Zucca: Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003)
2002
33EEDavide Ancona, Giovanni Lagorio, Elena Zucca: A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636
32EEDavide Ancona, Giovanni Lagorio, Elena Zucca: True separate compilation of Java classes. PPDP 2002: 189-200
31 Davide Ancona, Elena Zucca: A calculus of module systems. J. Funct. Program. 12(2): 91-132 (2002)
30 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
29EEDavide Ancona, Elena Zucca: True Modules for Java-like Languages. ECOOP 2001: 354-380
28EEDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
27 Davide Ancona, Giovanni Lagorio, Elena Zucca: A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30
26EEDavide 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
25EEDavide Ancona, Giovanni Lagorio, Elena Zucca: Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178
1999
24 Davide Ancona, Maura Cerioli, Elena Zucca: A Formal Framework with Late Binding. FASE 1999: 30-44
23 Davide Ancona, Elena Zucca: A Primitive Calculus for Module Systems. PPDP 1999: 62-79
22 Davide Ancona, Maura Cerioli, Elena Zucca: Extending Casl by Late Binding. WADT 1999: 53-72
21EEPhilippe Audebaud, Elena Zucca: Deriving Proof Rules from Continuation Semantics. Formal Asp. Comput. 11(4): 426-447 (1999)
20 Egidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Sci. Comput. Program. 34(3): 163-190 (1999)
19EEElena Zucca: From Static to Dynamic Abstract Data-Types: An Institution Transformation. Theor. Comput. Sci. 216(1-2): 109-157 (1999)
1998
18 Davide Ancona, Elena Zucca: A Theory of Mixin Modules: Basic and Derived Operators. Mathematical Structures in Computer Science 8(4): 401-446 (1998)
1997
17EEDavide Ancona, Elena Zucca: Overriding Operators in a Mixin-Based Framework. PLILP 1997: 47-61
16 Maura Cerioli, Elena Zucca: Implementation of derived programs (almost) for free. WADT 1997: 141-155
15 Davide Ancona, Elena Zucca: An algebra of mixin modules. WADT 1997: 92-106
1996
14EEDavide Ancona, Elena Zucca: An Algebraic Approach to Mixins and Modularity. ALP 1996: 179-193
13 Davide Ancona, Elena Zucca: A Formal Framework for Modules with State. AMAST 1996: 148-162
12EEElena Zucca: From Static to Dynamic Abstract Data-Types. MFCS 1996: 579-590
11 Ruth Breu, Elena Zucca: An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). Formal Asp. Comput. 8(6): 706-715 (1996)
10 Egidio Astesiano, Elena Zucca: A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. 52(1): 143-156 (1996)
1995
9 Egidio Astesiano, Elena Zucca: D-oids: A Model for Dynamic Data-Types. Mathematical Structures in Computer Science 5(2): 257-282 (1995)
1994
8 Elena Zucca: Implementation of Data Structures in an Imperative Framework. COMPASS/ADT 1994: 483-498
1993
7EEEgidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251
1992
6 Egidio Astesiano, Elena Zucca: A Semantic Model for Dynamic Systems. FMLDO 1992: 63-83
1989
5EERuth Breu, Elena Zucca: An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. FSTTCS 1989: 131-142
1987
4EEEgidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116
1984
3 Egidio Astesiano, Elena Zucca: Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. 33: 45-63 (1984)
1981
2 Egidio Astesiano, Elena Zucca: Semantics of Distributed Processes Derived by Translation. GI Jahrestagung 1981: 78-87
1EEEgidio Astesiano, Elena Zucca: Semantics of CSP via Translation into CCS. MFCS 1981: 172-182

Coauthor Index

1Davide Ancona [13] [14] [15] [17] [18] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [38] [39] [40] [41] [42] [43] [47] [48] [52] [53] [54] [55] [56]
2Christopher Anderson [26] [28] [52]
3Egidio Astesiano [1] [2] [3] [4] [6] [7] [9] [10] [20]
4Philippe Audebaud [21]
5Ruth Breu [5] [11]
6Maura Cerioli [16] [22] [24]
7Ferruccio Damiani [26] [28] [43] [52]
8Sophia Drossopoulou [26] [28] [43] [48] [52]
9Sonia Fagorzi [35] [36] [37] [38] [40] [41] [42] [44] [45] [49] [51] [55]
10Paola Giannini [26] [28] [52]
11Alessandro Giovini [4]
12Atsushi Igarashi [48]
13Giovanni Lagorio [25] [27] [32] [33] [34] [46] [47] [50] [53] [56] [57]
14Gary T. Leavens [48]
15Eugenio Moggi [36]
16Arnd Poetzsch-Heffter [48]
17Gianna Reggio [4] [7] [20]
18Marco Servetto [57]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)