ZUCCA SCHILLANI, ELENA
ZUCCA SCHILLANI, 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 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 Case-Study in Encoding Configuration Languages: Multiple Class Loaders
2004-01-01 Fagorzi, S.; Zucca, Elena
A Free Construction of Dynamic Terms
1996-01-01 Astesiano, E.; Zucca, Elena
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, R; Dagnino, F; Giannini, P; Zucca, E
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 Provenly Correct Translation of Fickle into Java
2007-01-01 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena
A theory of mixin modules: algebraic laws and reduction semantics
2002-01-01 Ancona, Davide; Zucca, Elena
A theory of mixin modules: Basic and derived operators
1998-01-01 Ancona, Davide; Zucca, Elena
A type preserving translation of Fickle into Java
2001-01-01 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency
1996-01-01 Breu, R.; Zucca, Elena
An Imperative Pure Calculus
2016-01-01 Capriccioli, Andrea; Servetto, Marco; Zucca, Elena
Checked corecursive streams: Expressivity and completeness
2023-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Checking equivalence of corecursive streams: An inductive procedure
2024-01-01 Ancona, Davide; Barbieri, Pietro; 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 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 Case-Study in Encoding Configuration Languages: Multiple Class Loaders | 1-gen-2004 | Fagorzi, S.; Zucca, Elena | |
| A Free Construction of Dynamic Terms | 1-gen-1996 | Astesiano, E.; Zucca, Elena | |
| A Java-like calculus with heterogeneous coeffects | 1-gen-2023 | Bianchini, R; Dagnino, F; Giannini, P; Zucca, E | |
| 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 Provenly Correct Translation of Fickle into Java | 1-gen-2007 | Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena | |
| A theory of mixin modules: algebraic laws and reduction semantics | 1-gen-2002 | Ancona, Davide; Zucca, Elena | |
| A theory of mixin modules: Basic and derived operators | 1-gen-1998 | Ancona, Davide; Zucca, Elena | |
| A type preserving translation of Fickle into Java | 1-gen-2001 | Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena | |
| An Algebraic Semantic Framework for Object Oriented Languages with Concurrency | 1-gen-1996 | Breu, R.; Zucca, Elena | |
| An Imperative Pure Calculus | 1-gen-2016 | Capriccioli, Andrea; Servetto, Marco; Zucca, Elena | |
| Checked corecursive streams: Expressivity and completeness | 1-gen-2023 | Ancona, D.; Barbieri, P.; Zucca, E. | |
| Checking equivalence of corecursive streams: An inductive procedure | 1-gen-2024 | Ancona, Davide; Barbieri, Pietro; Zucca, Elena |