引用次数
引用: 3,765
H-指数: 29
I10-指数 : 99
出版物: 249
Automatic useless-code elimination for HOT functional programs
FERRUCCIO DAMIANI , PAOLA GIANNINI
Journal of Functional Programming 10 ( 6) 509 -559
13
2000
A filter model for mobile processes
FERRUCCIO DAMIANI , MARIANGIOLA DEZANI-CIANCAGLINI , PAOLA GIANNINI
Mathematical Structures in Computer Science 9 ( 1) 63 -101
11
1999
A conjunctive type system for useless-code elimination
FERRUCCIO DAMIANI
Mathematical Structures in Computer Science 13 ( 1) 157 -197
4
2003
A filter model for mobile processes This work was partly supported by NATO Grant HTECH. LG960875.
FERRUCCIO DAMIANI , MARIANGIOLA DEZANI-CIANCAGLINI , PAOLA GIANNINI , FERRUCCIO DAMIANI
Cambridge University Press
1999
Refined effects for re-classification: FickleIII
FERRUCCIO Damiani , MARIANGIOLA Dezani-Ciancaglini , SOPHIA Drossopoulou , PAOLA Giannini
Report for the IST-2001-33477 DART project-available at the url http://www. cee. hw. ac. uk/DART/reports D 3
4
2002
Conjunctive Types and Useless-code Elimination.
Ferruccio Damiani
ICALP Satellite Workshops 8 271 -286
2
2000
Rank 2 Intersection for Recursive Definitions
Ferruccio Damiani
Fundamenta Informaticae 77 ( 4) 451 -488
2
2007
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Stefano Berardi , Ferruccio Damiani , Mario Coppo
2004
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection
Ferruccio Damiani
foundations of software science and computation structure 82 -97
5
2000
Alias Types and Effects for Environment-aware Computations
Paola Giannini , Ferruccio Damiani , Elena Giachino
Fundamenta Informaticae 88 ( 1) 63 -107
2008
SWRTJ - Sugared Welterweight Record-Trait Java
Ines Maria Margaria , Lorenzo Bettini , Ferruccio Damiani , Strocco Fabio
Universita' di Torino
2010
DeltaJ: a delta oriented programming language with core and delta modules
Ines Maria Margaria , Lorenzo Bettini , Ferruccio Damiani , Strocco Fabio
Universita' di Torino
2010
CWC Surface Language Software (Prototypal Software)
Ines Maria Margaria , Angelo Troina , Livio Bioglio , Eva Sciacca
Università di Torino
2011
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Danilo Pianini , Ferruccio Damiani , Jacob Beal , Mirko Viroli
arXiv: Distributed, Parallel, and Cluster Computing
84
2017
Rank-2 Intersection and Polymorphic Recursion for (a subset of) Caml
Maddalena Zacchi , Ferruccio Damiani , Leporati Emiliano
Universita' di Torino
2010
CWC simulator (Calculus of Wrapped Compartments)
Maurizio Drocco , Angelo Troina , Maddalena Zacchi , Eva Sciacca
Dipartimento di Informatica, Università di Torino
2010
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Ferruccio Damiani , Mirko Viroli , Giorgio Audrito , Sergio Bergamini
adaptive agents and multi-agents systems 1618 -1626
7
2019
Field-based coordination with the share operator
Danilo Pianini , Ferruccio Damiani , Jacob Beal , Mirko Viroli
Logical Methods in Computer Science 16 ( 4) 1 -41
3
2020
Adaptive distributed monitors of spatial properties for cyber–physical systems
Volker Stolz , Ferruccio Damiani , Mirko Viroli , Roberto Casadei
Journal of Systems and Software 175 110908
16
2021
Fickle: Dynamic Object Re-classification
Sophia Drossopoulou , Ferruccio Damiani , Mariangiola Dezani-Ciancaglini , Paola Giannini
ECOOP 2001 — Object-Oriented Programming 130 -149
72
2001
Mirko Viroli Ina Schaefer Lorenzo Bettini Sophia Drossopoulou Danilo Pianini Jacob Beal Angelo Troina Luca Paolini Viviana Bono Mariangiola Dezani-Ciancaglini Einar Broch Johnsen Maurizio Drocco Davide Ancona Eva Sciacca Elena Grassi Maurice H. ter Beek Reiner Hähnle Elena Zucca Franco Mazzanti Marco Aldinucci