Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 170
Titolo Data di pubblicazione Autore(i) File
A Decidable Intersection Type System based on Relevance 1994 Ferruccio Damiani; Paola Giannini
Refinement Types for Program Analysis 1996 M. COPPO; DAMIANI F.; GIANNINI P.
An inference algorithm for strictness 1997 Ferruccio Damiani; Paola Giannini
On strictness and totality 1997 Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
Inference based analysis of functional programs: dead-code and strictness 1998 MARIO COPPO; F. DAMIANI; PAOLA GIANNINI
Detecting and Removing Dead-Code using Rank 2 Intersection 1998 F. DAMIANI; FREDERIC PROST
A type inference approach to program analysis 1998 M. COPPO; DAMIANI F.; GIANNINI P.
A Filter Model for Mobile Processes 1999 DAMIANI F.; M. DEZANI; GIANNINI P.
Useless-Code Detection and Elimination for PCF with Algebraic Data Types 1999 Ferruccio Damiani
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract) 2000 Ferruccio Damiani
Conjunctive Types and Useless-code Elimination 2000 F. Damiani
Automatic useless-code detection and elimination for hot functional programs 2000 F. DAMIANI; GIANNINI P.
Type-based useless-code elimination for functional programs - Position paper 2000 Stefano Berardi; Ferruccio Damiani; Mario Coppo; Paola Giannini
Fickle: Dynamic object re-classification. 2001 DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P.
An Effective Translation of Fickle into Java 2001 Davide Ancona;Christopher Anderson;Ferruccio Damiani;Sophia Drossopoulou;Paola Giannini;Elena Zucca
More dynamic object reclassification: Fickle II 2002 DROSSOPOULOU S.; F. DAMIANI; DEZANI-CIANCAGLINI M.; GIANNINI P.
A type preserving translation of Fickle into Java: (Extended Abstract) 2002 D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca
A calculus for "environment-aware" computation 2002 Viviana Bono; Ferruccio Damiani; Paola Giannini
Strictness, totality, and non-standard type inference 2002 COPPO M; DAMIANI F; GIANNINI P
A conjunctive type system for useless-code elimination 2003 F. DAMIANI
Mostrati risultati da 1 a 20 di 170
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