Strictness analysis — a practical approach

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 35-49
https://doi.org/10.1007/3-540-15975-4_28

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Static inference of properties of applicative programs
Published by Association for Computing Machinery (ACM) ,1984
A combinator-based compiler for a functional language
Published by Association for Computing Machinery (ACM) ,1984
Optimized combinatoric code for applicative language implementation
Lecture Notes in Computer Science, 1984
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Published by Association for Computing Machinery (ACM) ,1977