Search the dblp DataBase
Ferruccio Damiani :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sophia Drossopoulou , Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini Fickle : Dynamic Object Re-classification. [Citation Graph (0, 0)][DBLP ] ECOOP, 2001, pp:130-149 [Conf ] Ferruccio Damiani Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2000, pp:82-97 [Conf ] Ferruccio Damiani Conjunctive Types and Useless-code Elimination. [Citation Graph (0, 0)][DBLP ] ICALP Satellite Workshops, 2000, pp:271-286 [Conf ] Ferruccio Damiani , Elena Giachino , Paola Giannini , Emanuele Cazzola On state classes and their dynamic semantics. [Citation Graph (0, 0)][DBLP ] ICSOFT (1), 2006, pp:5-12 [Conf ] Davide Ancona , Christopher Anderson , Ferruccio Damiani , Sophia Drossopoulou , Paola Giannini , Elena Zucca An Effective Translation of Fickle into Java. [Citation Graph (0, 0)][DBLP ] ICTCS, 2001, pp:215-234 [Conf ] Ferruccio Damiani , Sophia Drossopoulou , Paola Giannini Refined Effects for Unanticipated Object Re-classification: Fickle3 . [Citation Graph (0, 0)][DBLP ] ICTCS, 2003, pp:97-110 [Conf ] Davide Ancona , Ferruccio Damiani , Sophia Drossopoulou , Elena Zucca Polymorphic bytecode: compositional compilation for Java-like languages. [Citation Graph (0, 0)][DBLP ] POPL, 2005, pp:26-37 [Conf ] Ferruccio Damiani Rank 2 intersection types for modules. [Citation Graph (0, 0)][DBLP ] PPDP, 2003, pp:67-78 [Conf ] Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini Re-classification and multi-threading: Fickle MT . [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:1297-1304 [Conf ] Stefano Berardi , Mario Coppo , Ferruccio Damiani , Paola Giannini Type-Based Useless-Code Elimination for Functional Programs. [Citation Graph (0, 0)][DBLP ] SAIG, 2000, pp:172-189 [Conf ] Mario Coppo , Ferruccio Damiani , Paola Giannini Refinement Types for Program Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 1996, pp:143-158 [Conf ] Mario Coppo , Ferruccio Damiani , Paola Giannini On Strictness and Totality. [Citation Graph (0, 0)][DBLP ] TACS, 1997, pp:138-164 [Conf ] Ferruccio Damiani , Paola Giannini A Decidable Intersection Type System based on Relevance. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:707-725 [Conf ] Ferruccio Damiani , Paola Giannini An Inference Algorithm for Strictness. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:129-146 [Conf ] Ferruccio Damiani Rank-2 Intersection and Polymorphic Recursion. [Citation Graph (0, 0)][DBLP ] TLCA, 2005, pp:146-161 [Conf ] Ferruccio Damiani Useless-Code Detection and Elimination for PCF with Algebraic Data types. [Citation Graph (0, 0)][DBLP ] TLCA, 1999, pp:83-97 [Conf ] Ferruccio Damiani , Frédéric Prost Detecting and Removing Dead-Code using Rank 2 Intersection. [Citation Graph (0, 0)][DBLP ] TYPES, 1996, pp:66-87 [Conf ] Davide Ancona , Christopher Anderson , Ferruccio Damiani , Sophia Drossopoulou , Paola Giannini , Elena Zucca A type preserving translation of Fickle into Java. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal ] Viviana Bono , Ferruccio Damiani , Paola Giannini A Calculus for "Environment-Aware" Computation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal ] Mario Coppo , Ferruccio Damiani Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:1-2 [Journal ] Ferruccio Damiani , Paola Giannini Alias types for "environment-aware" computations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal ] Ferruccio Damiani , Paola Giannini Automatic useless-code elimination for HOT functional programs. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2000, v:10, n:6, pp:509-559 [Journal ] Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini On Re-classification and Multi-threading. [Citation Graph (0, 0)][DBLP ] Journal of Object Technology, 2004, v:3, n:11, pp:5-30 [Journal ] Ferruccio Damiani A Conjunctive Type System for Useless-Code Elimination. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:157-197 [Journal ] Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini A filter model for mobile processes. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:63-101 [Journal ] Mario Coppo , Ferruccio Damiani , Paola Giannini Strictness, totality, and non-standard-type inference. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:272, n:1-2, pp:69-112 [Journal ] Sophia Drossopoulou , Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini More dynamic object reclassification: Fickle|| [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2002, v:24, n:2, pp:153-191 [Journal ] Ferruccio Damiani Rank 2 intersection types for local definitions and conditional expressions. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2003, v:25, n:4, pp:401-451 [Journal ] Ferruccio Damiani Rank 2 Intersection for Recursive Definitions. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:77, n:4, pp:451-488 [Journal ] Davide Ancona , Christopher Anderson , Ferruccio Damiani , Sophia Drossopoulou , Paola Giannini , Elena Zucca A provenly correct translation of Fickle into Java. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal ] A Calculus for Boxes and Traits in a Java-Like Setting. [Citation Graph (, )][DBLP ] FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. [Citation Graph (, )][DBLP ] On Traits and Types in a Java-like Setting. [Citation Graph (, )][DBLP ] Implementing software product lines using traits. [Citation Graph (, )][DBLP ] On Polymorphic Recursion, Type Systems, and Abstract Interpretation. [Citation Graph (, )][DBLP ] Delta-Oriented Programming of Software Product Lines. [Citation Graph (, )][DBLP ] A type safe state abstraction for coordination in Java -like languages. [Citation Graph (, )][DBLP ] Stochastic Calculus of Wrapped Compartments [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.305secs