Travelled to:1 × Cyprus
1 × Germany
1 × Hungary
1 × Spain
1 × United Kingdom
2 × The Netherlands
3 × France
3 × Italy
4 × USA
Collaborated with:D.Ancona G.Lagorio M.Servetto S.Fagorzi F.Dagnino M.Cerioli F.Damiani S.Drossopoulou E.Moggi
Talks about:java (10) languag (9) like (6) class (5) calculus (4) mixin (4) framework (3) composit (3) circular (3) compil (3)
Person: Elena Zucca
DBLP: Zucca:Elena
Contributed to:
20132014
2010
2009
20062007
2005200420042004
20032002
2002200120012000
1999199919971996
201720172018Wrote 23 papers:
- PEPM-2013-ServettoZ #library
- A meta-circular language for active libraries (MS, EZ), pp. 117–126.
- PEPM-J-2013-ServettoZ14 #library
- A meta-circular language for active libraries (MS, EZ), pp. 219–253.
- OOPSLA-2010-ServettoZ #composition #java #named
- MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.
- ECOOP-2009-LagorioSZ #calculus #composition
- Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.
- SAC-2006-LagorioZ #java
- Introducing safe unknown types in Java-like languages (GL, EZ), pp. 1429–1434.
- SAC-OOPS-J-2006-LagorioZ07 #java #named
- Just: Safe Unknown Types in Java-like Languages (GL, EZ), pp. 69–98.
- POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism
- Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
- POPL-2004-AnconaZ #java
- Principal typings for Java-like languages (DA, EZ), pp. 306–317.
- SAC-2004-FagorziZA #calculus #modelling #multi
- Modeling multiple class loaders by a calculus for dynamic linking (SF, EZ, DA), pp. 1281–1288.
- SAC-PL-J-2004-FagorziZ #case study #encoding #multi
- A Case-Study in Encoding Configuration Languages: Multiple Class Loaders (SF, EZ), pp. 31–54.
- ICALP-2003-AnconaFMZ #mixin
- Mixin Modules and Computational Effects (DA, SF, EM, EZ), pp. 224–238.
- ECOOP-2002-AnconaLZ #compilation #framework #java
- A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
- PPDP-2002-AnconaLZ #compilation #java
- True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.
- ECOOP-2001-AnconaZ #java
- True Modules for Java-like Languages (DA, EZ), pp. 354–380.
- OOPSLA-2001-AnconaLZ #calculus #exception #java
- A Core Calculus for Java Exceptions (DA, GL, EZ), pp. 16–30.
- ECOOP-2000-AnconaLZ #java #mixin #named
- Jam — A Smooth Extension of Java with Mixins (DA, GL, EZ), pp. 154–178.
- FASE-1999-AnconaCZ #framework
- A Formal Framework with Late Binding (DA, MC, EZ), pp. 30–44.
- PPDP-1999-AnconaZ #calculus
- A Primitive Calculus for Module Systems (DA, EZ), pp. 62–79.
- PLILP-1997-AnconaZ #framework #mixin
- Overriding Operators in a Mixin-Based Framework (DA, EZ), pp. 47–61.
- ALP-1996-AnconaZ #algebra #approach #composition #mixin
- An Algebraic Approach to Mixins and Modularity (DA, EZ), pp. 179–193.
- ESOP-2017-AnconaDZ #axiom
- Generalizing Inference Systems by Coaxioms (DA, FD, EZ), pp. 29–55.
- OOPSLA-2017-AnconaDZ #axiom #reasoning
- Reasoning on divergent computations with coaxioms (DA, FD, EZ), p. 26.
- ECOOP-2018-AnconaDZ #behaviour #infinity #modelling
- Modeling Infinite Behaviour by Corules (DA, FD, EZ), p. 31.