Abstract
We present a simple framework for "non-standard type inference based" analyses of functional programs and show how to apply it to dead-code and strictness analyses. A key feature of this framework is that is based directly on operational semantics.
Information
Published: 1 January 1998
First available in Project Euclid: 17 January 2014
zbMATH: 0951.68017
MathSciNet: MR1728761
Digital Object Identifier: 10.2969/msjmemoirs/00201C040
Rights: Copyright © 1998, The Mathematical Society of Japan