ZUCCA, ELENA
ZUCCA, ELENA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A big step from finite to infinite computations
2020-01-01 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
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 core calculus for Java exceptions (extended abstract)
2000-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A formal framework for compositional compilation (extended abstract)
2007-01-01 Ancona, Davide; Zucca, Elena
A formal framework for Java separate compilation.
2002-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 Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; 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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A big step from finite to infinite computations | 1-gen-2020 | Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E. | |
| 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 core calculus for Java exceptions (extended abstract) | 1-gen-2000 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
| A formal framework for compositional compilation (extended abstract) | 1-gen-2007 | Ancona, Davide; Zucca, Elena | |
| A formal framework for Java separate compilation. | 1-gen-2002 | 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 Java-like calculus with user-defined coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; 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 |