The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ferruccio Damiani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Ferruccio Damiani
    Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:82-97 [Conf]
  3. Ferruccio Damiani
    Conjunctive Types and Useless-code Elimination. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:271-286 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Ferruccio Damiani
    Rank 2 intersection types for modules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:67-78 [Conf]
  9. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    Re-classification and multi-threading: FickleMT. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1297-1304 [Conf]
  10. 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]
  11. Mario Coppo, Ferruccio Damiani, Paola Giannini
    Refinement Types for Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:143-158 [Conf]
  12. Mario Coppo, Ferruccio Damiani, Paola Giannini
    On Strictness and Totality. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:138-164 [Conf]
  13. Ferruccio Damiani, Paola Giannini
    A Decidable Intersection Type System based on Relevance. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:707-725 [Conf]
  14. Ferruccio Damiani, Paola Giannini
    An Inference Algorithm for Strictness. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:129-146 [Conf]
  15. Ferruccio Damiani
    Rank-2 Intersection and Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:146-161 [Conf]
  16. Ferruccio Damiani
    Useless-Code Detection and Elimination for PCF with Algebraic Data types. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:83-97 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Mario Coppo, Ferruccio Damiani
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:1-2 [Journal]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Ferruccio Damiani
    Rank 2 Intersection for Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:4, pp:451-488 [Journal]
  30. 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]

  31. A Calculus for Boxes and Traits in a Java-Like Setting. [Citation Graph (, )][DBLP]


  32. FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. [Citation Graph (, )][DBLP]


  33. On Traits and Types in a Java-like Setting. [Citation Graph (, )][DBLP]


  34. Implementing software product lines using traits. [Citation Graph (, )][DBLP]


  35. On Polymorphic Recursion, Type Systems, and Abstract Interpretation. [Citation Graph (, )][DBLP]


  36. Delta-Oriented Programming of Software Product Lines. [Citation Graph (, )][DBLP]


  37. A type safe state abstraction for coordination in Java -like languages. [Citation Graph (, )][DBLP]


  38. Stochastic Calculus of Wrapped Compartments [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002