Elena Zucca
Title
Cited by
Cited by
Year
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91-132, 2002
1352002
Jam-a smooth extension of Java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1332000
Jam---designing a Java extension with mixins
D Ancona, G Lagorio, E Zucca
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 641-712, 2003
892003
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
791998
D-oids: a model for dynamic data-types
E Astesiano, E Zucca
Mathematical Structures in Computer Science 5 (2), 257-282, 1995
781995
Polymorphic bytecode: Compositional compilation for Java-like languages
D Ancona, F Damiani, S Drossopoulou, E Zucca
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
772005
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
712001
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
711999
Parametric channels via Label Expressions in CCS
E Astesiano, E Zucca
Theoretical Computer Science 33 (1), 45-63, 1984
421984
Principal typings for Java-like languages
D Ancona, E Zucca
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
392004
An algebraic approach to mixins and modularity
D Ancona, E Zucca
International Conference on Algebraic and Logic Programming, 179-193, 1996
361996
Featherweight jigsaw: A minimal core calculus for modular composition of classes
G Lagorio, M Servetto, E Zucca
European Conference on Object-Oriented Programming, 244-268, 2009
352009
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
332002
A semantic model for dynamic systems
E Astesiano, E Zucca
Modelling Database Dynamics, 63-83, 1993
311993
Mixin modules and computational effects
D Ancona, S Fagorzi, E Moggi, E Zucca
International Colloquium on Automata, Languages, and Programming, 224-238, 2003
292003
A core calculus for Java exceptions
D Ancona, G Lagorio, E Zucca
Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001
272001
An algebra of mixin modules
D Ancona, E Zucca
International Workshop on Algebraic Development Techniques, 92-106, 1997
271997
From static to dynamic abstract data-types
E Zucca
International Symposium on Mathematical Foundations of Computer Science, 579-590, 1996
251996
Flattening versus direct semantics for Featherweight Jigsaw
G Lagorio, M Servetto, E Zucca
FOOL, 2009
242009
Corecursive featherweight java
D Ancona, E Zucca
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
232012
The system can't perform the operation now. Try again later.
Articles 1–20