Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Elena Zucca" ( http://dblp.L3S.de/Authors/Elena_Zucca )

URL (Homepage):  http://www.disi.unige.it/person/ZuccaE/  Author page on DBLP  Author page in RDF  Community of Elena Zucca in ASPL-2

Publication years (Num. hits)
1981-1997 (17) 1998-2002 (16) 2003-2006 (15) 2007-2010 (15) 2011-2012 (4)
Publication types (Num. hits)
article(23) inproceedings(43) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(6) ICTCS(6) ECOOP(4) Mathematical Structures in Com...(4) MFCS(3) WADT(3) ACM Trans. Program. Lang. Syst...(2) Formal Asp. Comput.(2) Journal of Object Technology(2) OOPSLA(2) POPL(2) PPDP(2) SAC(2) TGC(2) Theor. Comput. Sci.(2) Algebraic Methods(1) More (+10 of total 38)
Authors
Elena Zucca(67) Davide Ancona(33) Giovanni Lagorio(14) Sonia Fagorzi(12) Egidio Astesiano(9) Marco Servetto(6) Paola Giannini(6) Sophia Drossopoulou(5) Ferruccio Damiani(4) Christopher Anderson(3) Gianna Reggio(3) Mariangiola Dezani-Ciancaglini(3) Maura Cerioli(3) Ruth Breu(2) Alessandro Giovini(1) Andrea Corradi(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 18 keywords
Results
Found 67 publication records. Showing 67 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Giovanni Lagorio, Marco Servetto, Elena Zucca Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca Extending the lambda-calculus with unbind and rebind. Search on Bibsonomy RAIRO - Theor. Inf. and Applic. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrea Corradi, Marco Servetto, Elena Zucca DeepFJig: modular composition of nested classes. Search on Bibsonomy PPPJ The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jonathan Aldrich, Jeremy G. Siek, Elena Zucca 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giovanni Lagorio, Marco Servetto, Elena Zucca A Lightweight Approach to Customizable Composition Operators for Java-like Classes. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca Intersection types for unbind and rebind Search on Bibsonomy ITRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John Hatcliff, Elena Zucca (eds.) Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings Search on Bibsonomy FMOODS/FORTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Servetto, Elena Zucca MetaFJig: a meta-circular composition language for Java-like classes. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giovanni Lagorio, Marco Servetto, Elena Zucca Customizable composition operators for Java-like classes. Search on Bibsonomy ICTCS The full citation details ... 2009 DBLP  BibTeX  RDF
1Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca The essence of static and dynamic bindings. Search on Bibsonomy ICTCS The full citation details ... 2009 DBLP  BibTeX  RDF
1Giovanni Lagorio, Marco Servetto, Elena Zucca Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. Search on Bibsonomy ECOOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Sonia Fagorzi, Elena Zucca A Parametric Calculus for Mobile Open Code. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Giovanni Lagorio, Elena Zucca Type Inference by Coinductive Logic Programming. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sonia Fagorzi, Elena Zucca A calculus of open modules: call-by-need strategy and confluence. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Giovanni Lagorio, Elena Zucca Just: Safe Unknown Types in Java-like Languages. Search on Bibsonomy Journal of Object Technology The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sonia Fagorzi, Elena Zucca A Calculus of Components with Dynamic Type-Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca A provenly correct translation of Fickle into Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF semantics preserving translation, Type and effect systems
1Davide Ancona, Giovanni Lagorio, Elena Zucca Type inference for polymorphic methods in Java-like languages. Search on Bibsonomy ICTCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Davide Ancona, Elena Zucca A formal framework for compositional compilation. Search on Bibsonomy ICTCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Sonia Fagorzi, Elena Zucca A Calculus for Reconfiguration: (Extended abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Giovanni Lagorio, Elena Zucca Introducing safe unknown types in Java-like languages. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF java-like languages, type-systems, static typing
1Sonia Fagorzi, Elena Zucca A Framework for Type Safe Exchange of Mobile Code. Search on Bibsonomy TGC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parametric calculus, static and dynamic typechecking, subtyping, mobile code
1Davide Ancona, Giovanni Lagorio, Elena Zucca Flexible Type-Safe Linking of Components for Java-Like Languages. Search on Bibsonomy JMLC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Sonia Fagorzi, Elena Zucca A Calculus for Dynamic Reconfiguration with Low Priority Linking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca Polymorphic bytecode: compositional compilation for Java-like languages. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type systems, compositional analysis
1Davide Ancona, Sonia Fagorzi, Elena Zucca Mixin Modules for Dynamic Rebinding. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sonia Fagorzi, Elena Zucca A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. Search on Bibsonomy Journal of Object Technology The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca Principal typings for Java-like languages. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java-like languages, selective recompilation, principal typings
1Sonia Fagorzi, Elena Zucca, Davide Ancona Modeling multiple class loaders by a calculus for dynamic linking. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multiple loaders, Java, dynamic linking
1Davide Ancona, Sonia Fagorzi, Elena Zucca A Calculus with Lazy Module Operators. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Davide Ancona, Giovanni Lagorio, Elena Zucca Jam - designing a Java extension with mixins. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, language design
1Davide Ancona, Sonia Fagorzi, Elena Zucca A Calculus for Dynamic Linking. Search on Bibsonomy ICTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca Mixin Modules and Computational Effects. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca A calculus of module systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Giovanni Lagorio, Elena Zucca True separate compilation of Java classes. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object-oriented programming, types, separate compilation
1Davide Ancona, Giovanni Lagorio, Elena Zucca A Formal Framework for Java Separate Compilation. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  BibTeX  RDF
1Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca A type preserving translation of Fickle into Java. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca An Effective Translation of Fickle into Java. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Giovanni Lagorio, Elena Zucca A Core Calculus for Java Exceptions. Search on Bibsonomy OOPSLA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca True Modules for Java-like Languages. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Giovanni Lagorio, Elena Zucca Jam - A Smooth Extension of Java with Mixins. Search on Bibsonomy ECOOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Philippe Audebaud, Elena Zucca Deriving Proof Rules from Continuation Semantics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hoare semantics, Continuations, Labels, Exceptions
1Egidio Astesiano, Gianna Reggio, Elena Zucca Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Elena Zucca From Static to Dynamic Abstract Data-Types: An Institution Transformation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Maura Cerioli, Elena Zucca A Formal Framework with Late Binding. Search on Bibsonomy FASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Maura Cerioli, Elena Zucca Extending Casl by Late Binding. Search on Bibsonomy WADT The full citation details ... 1999 DBLP  BibTeX  RDF
1Davide Ancona, Elena Zucca A Primitive Calculus for Module Systems. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca A Theory of Mixin Modules: Basic and Derived Operators. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1998 DBLP  BibTeX  RDF
1Davide Ancona, Elena Zucca An algebra of mixin modules. Search on Bibsonomy WADT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Maura Cerioli, Elena Zucca Implementation of derived programs (almost) for free. Search on Bibsonomy WADT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca Overriding Operators in a Mixin-Based Framework. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Reasoning about Language Constructs, Modularity, Object Oriented Languages
1Ruth Breu, Elena Zucca An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Elena Zucca A Free Construction of Dynamic Terms. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca An Algebraic Approach to Mixins and Modularity. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Elena Zucca From Static to Dynamic Abstract Data-Types. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Elena Zucca A Formal Framework for Modules with State. Search on Bibsonomy AMAST The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Elena Zucca D-oids: A Model for Dynamic Data-Types. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Elena Zucca Implementation of Data Structures in an Imperative Framework. Search on Bibsonomy COMPASS/ADT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Gianna Reggio, Elena Zucca Stores as Homomorphisms and their Transformations. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Elena Zucca A Semantic Model for Dynamic Systems. Search on Bibsonomy FMLDO The full citation details ... 1992 DBLP  BibTeX  RDF
1Ruth Breu, Elena Zucca An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Search on Bibsonomy Algebraic Methods The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Elena Zucca Parametric Channels via Label Expressions in CCS. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Elena Zucca Semantics of CSP via Translation into CCS. Search on Bibsonomy MFCS The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Egidio Astesiano, Elena Zucca Semantics of Distributed Processes Derived by Translation. Search on Bibsonomy GI Jahrestagung The full citation details ... 1981 DBLP  BibTeX  RDF
Displaying result #1 - #67 of 67 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.