Elena Zucca
Elena Zucca
Vahvistettu sähköpostiosoite verkkotunnuksessa unige.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91, 2002
1322002
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
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
801998
D-oids: a model for dynamic data-types
E Astesiano, E Zucca
Mathematical Structures in Computer Science 5 (2), 257-282, 1995
791995
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
762005
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
701999
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
692001
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
372004
An algebraic approach to mixins and modularity
D Ancona, E Zucca
International Conference on Algebraic and Logic Programming, 179-193, 1996
371996
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
332009
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
322002
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
302003
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
Flattening versus direct semantics for Featherweight Jigsaw
G Lagorio, M Servetto, E Zucca
Proc. Workshop on Foundations of Object-Oriented Languages (FOOL), 2009
242009
From static to dynamic abstract data-types
E Zucca
International Symposium on Mathematical Foundations of Computer Science, 579-590, 1996
241996
Corecursive featherweight java
D Ancona, E Zucca
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
222012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20