dblp.uni-trier.dewww.uni-trier.de

Ferruccio Damiani Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
37EEStefano Berardi, Ferruccio Damiani, Ugo de'Liguoro: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers Springer 2009
36 Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225
2008
35EEViviana Bono, Ferruccio Damiani, Elena Giachino: On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382
34EEMarco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158
33EEFerruccio 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)
32EEFerruccio Damiani, Elena Giachino, Paola Giannini: Alias Types and Effects for "Environment-aware" Computations. Fundam. Inform. 88(1-2): 63-107 (2008)
2007
31EEDavide 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)
30EEFerruccio 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
28EEDavide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37
27EEFerruccio Damiani: Rank-2 Intersection and Polymorphic Recursion. TLCA 2005: 146-161
26EEMario 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
24EEFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
23EEFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
2003
22EEFerruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110
21EEFerruccio Damiani: Rank 2 intersection types for modules. PPDP 2003: 67-78
20EEFerruccio Damiani: Rank 2 intersection types for local definitions and conditional expressions. ACM Trans. Program. Lang. Syst. 25(4): 401-451 (2003)
19EEFerruccio 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
17EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
16EEViviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
15EEMario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
2001
14EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
13EEDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
12EEDavide 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
11EEFerruccio 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
9EEStefano 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
7EEFerruccio 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

Coauthor Index

1Davide Ancona [12] [13] [28] [31]
2Christopher Anderson [12] [13] [31]
3Stefano Berardi [9] [25] [37]
4Viviana Bono [16] [35]
5Emanuele Cazzola [29]
6Marco Comini [34]
7Mario Coppo [3] [5] [9] [15] [25] [26]
8Mariangiola Dezani-Ciancaglini [6] [14] [17] [23] [24]
9Sophia Drossopoulou [12] [13] [14] [17] [22] [28] [31] [33]
10Elena Giachino [29] [32] [33] [35]
11Paola Giannini [1] [3] [4] [5] [6] [8] [9] [12] [13] [14] [15] [16] [17] [19] [22] [23] [24] [29] [31] [32] [33] [36]
12Frédéric Prost [2]
13Alessandro Ricci [36]
14Mirko Viroli [36]
15Samuel Vrech [34]
16Elena Zucca [12] [13] [28] [31]
17Ugo de'Liguoro [37]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)