ZUCCA, ELENA
ZUCCA, ELENA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A calculus for dynamic linking
2003-01-01 Ancona, Davide; Fagorzi, S; Zucca, Elena
A calculus for dynamic reconfiguration with low priority linking
2005-01-01 Ancona, Davide; Fagorzi, S.; Zucca, Elena
A Calculus for Reconfiguration (Extended Abstract)
2006-01-01 Fagorzi, S; Zucca, Elena
A Calculus of Components with Dynamic Type-Checking
2007-01-01 Fagorzi, S; Zucca, Elena
A calculus of module systems
2002-01-01 Ancona, Davide; Zucca, Elena
A calculus of open modules: call-by-need strategy and confluence
2007-01-01 Fagorzi, S; Zucca, Elena
A calculus with lazy module operators
2004-01-01 Ancona, Davide; Fagorzi, S.; Zucca, Elena
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders
2004-01-01 Fagorzi, S.; Zucca, Elena
A core calculus for Java exceptions
2001-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A Formal Framework for Modules with State
1996-01-01 Ancona, Davide; Zucca, Elena
A Formal Framework with Late Binding
1999-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
A framework for type safe exchange of mobile code
2006-01-01 Fagorzi, S; Zucca, Elena
A Free Construction of Dynamic Terms
1996-01-01 Astesiano, E.; Zucca, Elena
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
2010-01-01 Lagorio, Giovanni; M., Servetto; Zucca, Elena
A meta-circular language for active libraries
2014-01-01 M., Servetto; Zucca, Elena
A parametric calculus for mobile open code
2008-01-01 Ancona, Davide; Fagorzi, S; Zucca, Elena
A Primitive Calculus for Module Systems
1999-01-01 Ancona, Davide; Zucca, Elena
A Provenly Correct Translation of Fickle into Java
2007-01-01 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena
A Semantic Model for Dynamic Systems
1993-01-01 Astesiano, Egidio; Zucca, Elena
A theory of mixin modules: Basic and derived operators
1998-01-01 Ancona, Davide; Zucca, Elena
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A calculus for dynamic linking | 1-gen-2003 | Ancona, Davide; Fagorzi, S; Zucca, Elena | |
A calculus for dynamic reconfiguration with low priority linking | 1-gen-2005 | Ancona, Davide; Fagorzi, S.; Zucca, Elena | |
A Calculus for Reconfiguration (Extended Abstract) | 1-gen-2006 | Fagorzi, S; Zucca, Elena | |
A Calculus of Components with Dynamic Type-Checking | 1-gen-2007 | Fagorzi, S; Zucca, Elena | |
A calculus of module systems | 1-gen-2002 | Ancona, Davide; Zucca, Elena | |
A calculus of open modules: call-by-need strategy and confluence | 1-gen-2007 | Fagorzi, S; Zucca, Elena | |
A calculus with lazy module operators | 1-gen-2004 | Ancona, Davide; Fagorzi, S.; Zucca, Elena | |
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders | 1-gen-2004 | 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 Formal Framework with Late Binding | 1-gen-1999 | Ancona, Davide; Cerioli, Maura; Zucca, Elena | |
A framework for type safe exchange of mobile code | 1-gen-2006 | Fagorzi, S; Zucca, Elena | |
A Free Construction of Dynamic Terms | 1-gen-1996 | Astesiano, E.; Zucca, Elena | |
A Lightweight Approach to Customizable Composition Operators for Java-like Classes | 1-gen-2010 | Lagorio, Giovanni; M., Servetto; Zucca, Elena | |
A meta-circular language for active libraries | 1-gen-2014 | M., Servetto; Zucca, Elena | |
A parametric calculus for mobile open code | 1-gen-2008 | Ancona, Davide; Fagorzi, S; Zucca, Elena | |
A Primitive Calculus for Module Systems | 1-gen-1999 | Ancona, Davide; Zucca, Elena | |
A Provenly Correct Translation of Fickle into Java | 1-gen-2007 | Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena | |
A Semantic Model for Dynamic Systems | 1-gen-1993 | Astesiano, Egidio; Zucca, Elena | |
A theory of mixin modules: Basic and derived operators | 1-gen-1998 | Ancona, Davide; Zucca, Elena |