Translator Disclaimer
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

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

CHAPTER
34 PAGES


SHARE
Vol. 2 • 1 January 1998
Back to Top