A Unified Approach to Strictness Analysis and Optimising Transformations (1996)
by
P. N. Benton
| Citations: | 4 - 1 self |
BibTeX
@TECHREPORT{Benton96aunified,
author = {P. N. Benton},
title = {A Unified Approach to Strictness Analysis and Optimising Transformations},
institution = {},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an inference system for translating programs in a PCF-like source language into a variant of Moggi's computational lambda calculus. This translation combines a simple strictness analysis with its associated optimising transformations into a single system. The correctness of the translation is established using a logical relation between the denotational semantics of the source and target languages.
Citations
No citations identified.
