| 2008 |
|---|
| 35 | EE | Viviana Bono,
Ferruccio Damiani,
Elena Giachino:
On Traits and Types in a Java-like Setting.
IFIP TCS 2008: 367-382 |
| 34 | EE | Marco Comini,
Ferruccio Damiani,
Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation.
SAS 2008: 144-158 |
| 33 | EE | Ferruccio Damiani,
Elena Giachino,
Paola Giannini,
Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages.
Acta Inf. 45(7-8): 479-536 (2008) |
| 32 | EE | Ferruccio Damiani,
Elena Giachino,
Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations.
Fundam. Inform. 88(1-2): 63-107 (2008) |
| 2007 |
|---|
| 31 | EE | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst. 29(2): (2007) |
| 30 | EE | Ferruccio Damiani:
Rank 2 Intersection for Recursive Definitions.
Fundam. Inform. 77(4): 451-488 (2007) |
| 2006 |
|---|
| 29 | | Ferruccio Damiani,
Elena Giachino,
Paola Giannini,
Emanuele Cazzola:
On state classes and their dynamic semantics.
ICSOFT (1) 2006: 5-12 |
| 2005 |
|---|
| 28 | EE | Davide Ancona,
Ferruccio Damiani,
Sophia Drossopoulou,
Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages.
POPL 2005: 26-37 |
| 27 | EE | Ferruccio Damiani:
Rank-2 Intersection and Polymorphic Recursion.
TLCA 2005: 146-161 |
| 26 | EE | Mario Coppo,
Ferruccio Damiani:
Preface.
Electr. Notes Theor. Comput. Sci. 136: 1-2 (2005) |
| 2004 |
|---|
| 25 | | Stefano Berardi,
Mario Coppo,
Ferruccio Damiani:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Springer 2004 |
| 24 | EE | Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
Re-classification and multi-threading: FickleMT.
SAC 2004: 1297-1304 |
| 23 | EE | Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
On Re-classification and Multi-threading.
Journal of Object Technology 3(11): 5-30 (2004) |
| 2003 |
|---|
| 22 | EE | Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini:
Refined Effects for Unanticipated Object Re-classification: Fickle3.
ICTCS 2003: 97-110 |
| 21 | EE | Ferruccio Damiani:
Rank 2 intersection types for modules.
PPDP 2003: 67-78 |
| 20 | EE | Ferruccio Damiani:
Rank 2 intersection types for local definitions and conditional expressions.
ACM Trans. Program. Lang. Syst. 25(4): 401-451 (2003) |
| 19 | EE | Ferruccio Damiani,
Paola Giannini:
Alias types for "environment-aware" computations.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 18 | | Ferruccio Damiani:
A Conjunctive Type System for Useless-Code Elimination.
Mathematical Structures in Computer Science 13(1): 157-197 (2003) |
| 2002 |
|---|
| 17 | EE | Sophia Drossopoulou,
Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
More dynamic object reclassification: Fickle||
ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) |
| 16 | EE | Viviana Bono,
Ferruccio Damiani,
Paola Giannini:
A Calculus for "Environment-Aware" Computation.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 15 | EE | Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
Strictness, totality, and non-standard-type inference.
Theor. Comput. Sci. 272(1-2): 69-112 (2002) |
| 2001 |
|---|
| 14 | EE | Sophia Drossopoulou,
Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
Fickle : Dynamic Object Re-classification.
ECOOP 2001: 130-149 |
| 13 | EE | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
An Effective Translation of Fickle into Java.
ICTCS 2001: 215-234 |
| 12 | EE | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
A type preserving translation of Fickle into Java.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 11 | EE | Ferruccio Damiani:
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.
FoSSaCS 2000: 82-97 |
| 10 | | Ferruccio Damiani:
Conjunctive Types and Useless-code Elimination.
ICALP Satellite Workshops 2000: 271-286 |
| 9 | EE | Stefano Berardi,
Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
Type-Based Useless-Code Elimination for Functional Programs.
SAIG 2000: 172-189 |
| 8 | | Ferruccio Damiani,
Paola Giannini:
Automatic useless-code elimination for HOT functional programs.
J. Funct. Program. 10(6): 509-559 (2000) |
| 1999 |
|---|
| 7 | EE | Ferruccio Damiani:
Useless-Code Detection and Elimination for PCF with Algebraic Data types.
TLCA 1999: 83-97 |
| 6 | | Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
A filter model for mobile processes.
Mathematical Structures in Computer Science 9(1): 63-101 (1999) |
| 1997 |
|---|
| 5 | | Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
On Strictness and Totality.
TACS 1997: 138-164 |
| 4 | | Ferruccio Damiani,
Paola Giannini:
An Inference Algorithm for Strictness.
TLCA 1997: 129-146 |
| 1996 |
|---|
| 3 | | Mario Coppo,
Ferruccio Damiani,
Paola Giannini:
Refinement Types for Program Analysis.
SAS 1996: 143-158 |
| 2 | | Ferruccio Damiani,
Frédéric Prost:
Detecting and Removing Dead-Code using Rank 2 Intersection.
TYPES 1996: 66-87 |
| 1994 |
|---|
| 1 | | Ferruccio Damiani,
Paola Giannini:
A Decidable Intersection Type System based on Relevance.
TACS 1994: 707-725 |
