Seuraa
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-132, 2002
1372002
Jam-a smooth extension of Java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1312000
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
912003
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
811998
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
D-oids: a model for dynamic data-types
E Astesiano, E Zucca
Mathematical Structures in Computer Science 5 (2), 257-282, 1995
771995
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
702001
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
701999
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
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
372009
An algebraic approach to mixins and modularity
D Ancona, E Zucca
International Conference on Algebraic and Logic Programming, 179-193, 1996
351996
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
322002
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
292001
Generalizing inference systems by coaxioms
D Ancona, F Dagnino, E Zucca
European Symposium on Programming, 29-55, 2017
282017
A semantic model for dynamic systems
E Astesiano, E Zucca
Modelling Database Dynamics, 63-83, 1993
281993
Is solidity solid enough?
S Crafa, MD Pirro, E Zucca
International Conference on Financial Cryptography and Data Security, 138-153, 2019
272019
An algebra of mixin modules
D Ancona, E Zucca
International Workshop on Algebraic Development Techniques, 92-106, 1997
261997
Corecursive featherweight java
D Ancona, E Zucca
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
252012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20