Article contents
A conjunctive type system for useless-code elimination
Published online by Cambridge University Press: 06 March 2003
Abstract
We investigate the use of conjunctive non-standard type inference for the elimination of useless code in higher-order typed functional programs. In particular, we present a non-standard type assignment system for detecting useless code together with a mapping that simplifies a program by removing the useless code detected using the system.
- Type
- Research Article
- Information
- Copyright
- © 2003 Cambridge University Press
- 5
- Cited by