TY - GEN
T1 - Type-based useless-code elimination for functional programs position paper
AU - Berardi, Stefano
AU - Coppo, Mario
AU - Damiani, Ferruccio
AU - Giannini, Paola
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - In this paper we present a survey of the work on type-based useless-code elimination for higher-order functional programs. After some historical remarks on the motivations and early approaches we give an informal but complete account of the techniques and results developed at the Computer Science Department of the University of Torino. In particular, we focus on the fact that, for each of the type-based techniques developed, there is an optimal program simplification.
AB - In this paper we present a survey of the work on type-based useless-code elimination for higher-order functional programs. After some historical remarks on the motivations and early approaches we give an informal but complete account of the techniques and results developed at the Computer Science Department of the University of Torino. In particular, we focus on the fact that, for each of the type-based techniques developed, there is an optimal program simplification.
UR - http://www.scopus.com/inward/record.url?scp=84957812283&partnerID=8YFLogxK
U2 - 10.1007/3-540-45350-4_13
DO - 10.1007/3-540-45350-4_13
M3 - Conference contribution
AN - SCOPUS:84957812283
SN - 3540410546
SN - 9783540410546
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 172
EP - 189
BT - Semantics, Applications and Implementation of Program Generation - International Workshop, SAIG 2000, Proceedings
A2 - Taha, Walid
PB - Springer Verlag
T2 - International Workshop on Semantics, Applications and Implementation of Program Generation, SAIG 2000
Y2 - 20 September 2000 through 20 September 2000
ER -