Type systems for useless-variable elimination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2053, Issue , 2001, Pages 25-38

  Fischbach, Adam ^a   Hannan, John ^a  

^a The Pennsylvania State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDENT TYPES; FUNCTIONAL LANGUAGES; HIGHER-ORDER; OBSERVABLE BEHAVIOR; OPERATIONAL SEMANTICS; RUNTIMES; TYPE SYSTEMS; WEAK FORM; BASED SPECIFICATION; VARIABLE ELIMINATION;

ALGORITHMS; SEMANTICS;

SPECIFICATIONS;

EID: 84876636963     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-44978-7_3     Document Type: Article

References (9)

1. Beradi, S., Coppo, M., Damiani, F., and Giannini, P. Type-based useless-code elimination for functional programs. In Semantics, Applications, and Implementation of Program Generation (September 2000), W. Taha, Ed., no. 1924 in Lecture Notes in Computer Science, Springer-Verlag.
2. Damiani, F. Conjunctive types and useless-code elimination. In ICALP Workshops (2000), Vol. 8 of Proceedings in Inf ormatics, Carleton-Scientific, pp. 271-285.
3. Damiani, F., and Giannini, P. Automatic useless-code elimination for HOT functional languages. Journal of Functional Programming (2000). (to appear).
4. Fischbach, A., and Hannan, J. Type systems for useless-variable elimination. Tech. Rept. CSE-01-002. Penn State University.
5. Hannan, J., and Hicks, P. Higher-order arity raising. In Proceedings of the Third International Conference on Functional Programming (September 1998), P. Hudak and C. Queinnec, Eds., ACM SIGPLAN, pp. 27-38.
6. Hannan, J., and Hicks, P. Higher-order unCurrying. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1998), pp. 1-11.
7. Kobayashi, N. Type-based useless-variable elimination. In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (2000), pp. 84-93.
8. Shivers, O. Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie-Mellon University, May 1991.
9. Wand, M., and Siveroni, I. Constraint systems for useless variable elimination. In Conf. Rec. 26th ACM Symposium on Principles of Programming Languages (1999).