ZUCCA SCHILLANI, ELENA
ZUCCA SCHILLANI, 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 with lazy module operators
2004-01-01 Ancona, Davide; 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 framework for type safe exchange of mobile code
2006-01-01 Fagorzi, S; Zucca, Elena
A Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A Meta-Circular Language for Active Libraries
2013-01-01 M., Servetto; Zucca, Elena
A Primitive Calculus for Module Systems
1999-01-01 Ancona, Davide; Zucca, Elena
A Semantic Model for Dynamic Systems
1993-01-01 Astesiano, Egidio; Zucca, Elena
A type and effect system for sharing
2017-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A type and effect system for uniqueness and immutability
2018-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Aliasing control in an imperative pure calculus
2015-01-01 Servetto, Marco; Zucca, Elena
An Algebra of Mixin Modules
1998-01-01 Ancona, Davide; Zucca, Elena
An Algebraic Approach to Mixins and Modularity
1996-01-01 Ancona, Davide; Zucca, Elena
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency
1989-01-01 R., Breu; Zucca, Elena
An Effective Translation of Fickle into Java
2001-01-01 Ancona, Davide; Anderson, C; Damiani, F; Drossopoulou, S; Giannini, P; Zucca, Elena
An inductive abstract semantics for coFJ
2020-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.
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 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 framework for type safe exchange of mobile code | 1-gen-2006 | Fagorzi, S; Zucca, Elena | |
A Java-like calculus with user-defined coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
A Meta-Circular Language for Active Libraries | 1-gen-2013 | M., Servetto; 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 | |
A type and effect system for sharing | 1-gen-2017 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
A type and effect system for uniqueness and immutability | 1-gen-2018 | Giannini, Paola; Servetto, Marco; 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 | |
An Effective Translation of Fickle into Java | 1-gen-2001 | Ancona, Davide; Anderson, C; Damiani, F; Drossopoulou, S; Giannini, P; Zucca, Elena | |
An inductive abstract semantics for coFJ | 1-gen-2020 | Barbieri, P.; Dagnino, F.; Zucca, E. |