ZUCCA, ELENA

ZUCCA, ELENA  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 72 (tempo di esecuzione: 0.064 secondi).
Titolo Data di pubblicazione Autore(i) File
A calculus for dynamic linking 1-gen-2003 Ancona, Davide; Fagorzi, S; Zucca, Elena
A calculus with lazy module operators 1-gen-2004 Ancona, Davide; Fagorzi, S.; Zucca, Elena
A core calculus for Java exceptions 1-gen-2001 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A Formal Framework for Modules with State 1-gen-1996 Ancona, Davide; Zucca, Elena
A framework for type safe exchange of mobile code 1-gen-2006 Fagorzi, S; Zucca, Elena
A Primitive Calculus for Module Systems 1-gen-1999 Ancona, Davide; Zucca, Elena
A Semantic Model for Dynamic Systems 1-gen-1993 Astesiano, Egidio; Zucca, Elena
Aliasing control in an imperative pure calculus 1-gen-2015 Servetto, Marco; Zucca, Elena
An Algebra of Mixin Modules 1-gen-1998 Ancona, Davide; Zucca, Elena
An Algebraic Approach to Mixins and Modularity 1-gen-1996 Ancona, Davide; Zucca, Elena
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency 1-gen-1989 R., Breu; Zucca, Elena
A core calculus for Java exceptions (extended abstract) 1-gen-2000 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
Corecursive Featherweight Java 1-gen-2012 Ancona, Davide; Zucca, Elena
Corecursive featherweight Java revisited 1-gen-2019 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Coupling catch clauses with local declarations 1-gen-2016 Giannini, Paola; Servetto, Marco; Zucca, Elena
Customizable composition operators for Java-like classes (extended abstract) 1-gen-2009 Lagorio, Giovanni; M., Servetto; Zucca, Elena
DeepFJig: modular composition of nested classes 1-gen-2011 Corradi, Andrea; M., Servetto; Zucca, Elena
Editorial message: special track on object oriented programming languages and systems 1-gen-2005 Ancona, Davide; Raje, R. R.; Viroli, Mirko; Bellur, U.; Bono, V.; Boyland, J.; Castagna, Giuseppe; Coglio, A.; Cointe, P.; Costanza, P.; Drossopoulou, S.; Ernst, E.; Fox, G.; Gray, J.; Igarashi, A.; Klefstad, R.; Lea, D.; Parashar, M.; Rimassa, G.; Sassone, V.; Smaragdakis, Y.; Syme, D.; Tekinerdogan, B.; Vitek, J.; Zucca, E.
An Effective Translation of Fickle into Java 1-gen-2001 Ancona, Davide; Anderson, C; Damiani, F; Drossopoulou, S; Giannini, P; Zucca, Elena
Enhanced Regular Corecursion for Data Streams 1-gen-2021 Ancona, Davide; Barbieri, Pietro; Zucca, Elena