Sfoglia per Autore
A Decidable Intersection Type System based on Relevance
1994-01-01 Ferruccio Damiani; Paola Giannini
Refinement Types for Program Analysis
1996-01-01 M. COPPO; DAMIANI F.; GIANNINI P.
On strictness and totality
1997-01-01 Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
An inference algorithm for strictness
1997-01-01 Ferruccio Damiani; Paola Giannini
Inference based analysis of functional programs: dead-code and strictness
1998-01-01 MARIO COPPO; F. DAMIANI; PAOLA GIANNINI
A type inference approach to program analysis
1998-01-01 M. COPPO; DAMIANI F.; GIANNINI P.
Detecting and Removing Dead-Code using Rank 2 Intersection
1998-01-01 F. DAMIANI; FREDERIC PROST
Useless-Code Detection and Elimination for PCF with Algebraic Data Types
1999-01-01 Ferruccio Damiani
A Filter Model for Mobile Processes
1999-01-01 DAMIANI F.; M. DEZANI; GIANNINI P.
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)
2000-01-01 Ferruccio Damiani
Conjunctive Types and Useless-code Elimination
2000-01-01 F. Damiani
Type-based useless-code elimination for functional programs - Position paper
2000-01-01 Stefano Berardi; Ferruccio Damiani; Mario Coppo; Paola Giannini
Automatic useless-code detection and elimination for hot functional programs
2000-01-01 F. DAMIANI; GIANNINI P.
An Effective Translation of Fickle into Java
2001-01-01 Davide Ancona;Christopher Anderson;Ferruccio Damiani;Sophia Drossopoulou;Paola Giannini;Elena Zucca
Fickle: Dynamic object re-classification.
2001-01-01 DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P.
Fickle: Dynamic object re-classification
2001-01-01 SOPHIA DROSSOPOULOU; FERRUCCIO DAMIANI; M. DEZANI; PAOLA GIANNINI
Strictness, totality, and non-standard type inference
2002-01-01 COPPO M; DAMIANI F; GIANNINI P
A type preserving translation of Fickle into Java: (Extended Abstract)
2002-01-01 D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca
A calculus for "environment-aware" computation
2002-01-01 Viviana Bono; Ferruccio Damiani; Paola Giannini
More dynamic object reclassification: Fickle II
2002-01-01 DROSSOPOULOU S.; F. DAMIANI; DEZANI-CIANCAGLINI M.; GIANNINI P.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile