Backwards Strictness Analysis: Proved and Improved

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 12-30
https://doi.org/10.1007/978-1-4471-3166-3_2

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Projections for strictness analysis
Published by Springer Nature ,1987
Strictness detection in non-flat domains
Lecture Notes in Computer Science, 1986