2007 |
12 | EE | Sonia Fagorzi,
Elena Zucca:
A Calculus of Components with Dynamic Type-Checking.
Electr. Notes Theor. Comput. Sci. 182: 73-90 (2007) |
11 | EE | Sonia Fagorzi,
Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence.
Mathematical Structures in Computer Science 17(4): 675-751 (2007) |
2006 |
10 | EE | Sonia Fagorzi,
Elena Zucca:
A Framework for Type Safe Exchange of Mobile Code.
TGC 2006: 319-338 |
9 | EE | Sonia Fagorzi,
Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract).
Electr. Notes Theor. Comput. Sci. 135(3): 49-59 (2006) |
2005 |
8 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
Mixin Modules for Dynamic Rebinding.
TGC 2005: 279-298 |
7 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Reconfiguration with Low Priority Linking.
Electr. Notes Theor. Comput. Sci. 138(2): 3-35 (2005) |
2004 |
6 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus with Lazy Module Operators.
IFIP TCS 2004: 423-436 |
5 | EE | Sonia Fagorzi,
Elena Zucca,
Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking.
SAC 2004: 1281-1288 |
4 | EE | Sonia Fagorzi,
Elena Zucca:
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders.
Journal of Object Technology 3(11): 31-54 (2004) |
2003 |
3 | EE | Eugenio Moggi,
Sonia Fagorzi:
A Monadic Multi-stage Metalanguage.
FoSSaCS 2003: 358-374 |
2 | EE | Davide Ancona,
Sonia Fagorzi,
Eugenio Moggi,
Elena Zucca:
Mixin Modules and Computational Effects.
ICALP 2003: 224-238 |
1 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Linking.
ICTCS 2003: 284-301 |