Technical reports

A unified approach to strictness analysis and optimising transformations

P.N. Benton

February 1996, 21 pages

DOI: 10.48456/tr-388

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.

Full text

PDF (1.7 MB)

BibTeX record

@TechReport{UCAM-CL-TR-388,
  author =	 {Benton, P.N.},
  title = 	 {{A unified approach to strictness analysis and optimising
         	   transformations}},
  year = 	 1996,
  month = 	 feb,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-388.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-388},
  number = 	 {UCAM-CL-TR-388}
}