Elena Zucca
Elena Zucca
Bestätigte E-Mail-Adresse bei unige.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91-132, 2002
1332002
Jam-a smooth extension of java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1302000
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
882003
D-oids: a model for dynamic data-types
E Astesiano, E Zucca
Mathematical Structures in Computer Science 5 (2), 257-282, 1995
801995
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
782005
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
781998
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
711999
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
672001
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
382004
An algebraic approach to mixins and modularity
D Ancona, E Zucca
International Conference on Algebraic and Logic Programming, 179-193, 1996
371996
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
342002
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
322009
A semantic model for dynamic systems
E Astesiano, E Zucca
Modelling Database Dynamics, 63-83, 1993
321993
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
261997
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
A formal framework for Java separate compilation
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 609-635, 2002
242002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20