BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zucca:Elena

Contributed to:

PEPM 20132013
PEPM 20132014
OOPSLA 20102010
ECOOP 20092009
SAC 20062006
SAC 20062007
POPL 20052005
POPL 20042004
SAC 20042004
SAC 20042004
ICALP 20032003
ECOOP 20022002
PPDP 20022002
ECOOP 20012001
OOPSLA 20012001
ECOOP 20002000
FASE 19991999
PPDP 19991999
PLILP 19971997
ALP 19961996
ESOP 20172017
OOPSLA 20172017
ECOOP 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.