Sonia Fagorzi

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Davide Ancona, Sonia Fagorzi, Elena Zucca
A Parametric Calculus for Mobile Open Code. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Sonia Fagorzi, Elena Zucca
A calculus of open modules: call-by-need strategy and confluence. Math. Struct. Comput. Sci. 17 (4) (2007)
Sonia Fagorzi, Elena Zucca
A Calculus of Components with Dynamic Type-Checking. Electron. Notes Theor. Comput. Sci. 182 (2007)
Sonia Fagorzi, Elena Zucca
A Calculus for Reconfiguration: (Extended abstract). Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Sonia Fagorzi, Elena Zucca
A Framework for Type Safe Exchange of Mobile Code. TGC (2006)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Calculus for Dynamic Reconfiguration with Low Priority Linking. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Davide Ancona, Sonia Fagorzi, Elena Zucca
Mixin Modules for Dynamic Rebinding. TGC (2005)
Sonia Fagorzi, Elena Zucca
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. J. Object Technol. 3 (11) (2004)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Calculus with Lazy Module Operators. IFIP TCS (2004)
Sonia Fagorzi, Elena Zucca, Davide Ancona
Modeling multiple class loaders by a calculus for dynamic linking. SAC (2004)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Calculus for Dynamic Linking. ICTCS (2003)
Eugenio Moggi, Sonia Fagorzi
A Monadic Multi-stage Metalanguage. FoSSaCS (2003)
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
Mixin Modules and Computational Effects. ICALP (2003)