ZUCCA, ELENA

ZUCCA, ELENA  

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

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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: 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
A big step from finite to infinite computations 1-gen-2020 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
D-oids: a model for dynamic data-types 1-gen-1995 Astesiano, Egidio; Zucca, Elena
DeepFJig — Modular composition of nested classes. 1-gen-2012 Corradi, Andrea; Marco, Servetto; Zucca, Elena
Deriving Proof Rules from Continuation Semantics 1-gen-1999 Audebaud, P.; Zucca, Elena
Extending coinductive logic programming with co-facts 1-gen-2017 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Extending the lambda-calculus with unbind and rebind 1-gen-2011 DEZANI CIANCAGLINI, M; Giannini, P; Zucca, Elena