Hostname: page-component-8448b6f56d-gtxcr Total loading time: 0 Render date: 2024-04-25T03:30:20.291Z Has data issue: false hasContentIssue false
  • English
  • Français

A conjunctive type system for useless-code elimination

Published online by Cambridge University Press:  06 March 2003

FERRUCCIO DAMIANI
FERRUCCIO DAMIANI
Affiliation:
Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10149 Torino, Italy. Email: damiani@di.unito.it
Get access Rights & Permissions [Opens in a new window]

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
Mathematical Structures in Computer Science , Volume 13 , Issue 1 , February 2003 , pp. 157 - 197
Copyright
© 2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)