Open Access
VOL. 2 | 1998 Inference based analyses of functional programs: dead-code and strictness
Mario Coppo, Ferruccio Damiani, Paola Giannini

Editor(s) Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi

MSJ Memoirs, 1998: 143-176 (1998) DOI: 10.2969/msjmemoirs/00201C040


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.


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

Vol. 2 • 1 January 1998
Back to Top