@inproceedings{e4e546f3768a43679bcfb57229d1aa0f,
title = "Backwards Strictness Analysis: Proved and Improved",
abstract = "Given a syntax tree representing an expression, and some information regarding that expression, a backwards analysis will involve propagating the information (with appropriate transformation) towards the leaves of the tree, to yield information about the subexpressions. Here, the information at the root will describe the required definedness of the value of the expression, with the results of the analysis describing the definedness of the values lower in the tree sufficient or necessary to meet the condition at the root. In Projections for Strictness Analysis [1], such an analysis is described in which the information at each node is encoded by a special kind of function called a projection, with the results of the analysis revealing strictness information about the expression. This paper describes a more general and powerful technique, and provides proofs that both techniques meet a corresponding generalisation of the safety condition described in [1]. ",
author = "Kei Davis and Philip Wadler",
year = "1989",
doi = "10.1007/978-1-4471-3166-3_2",
language = "English",
isbn = "978-3-540-19609-9",
series = "Workshops in Computing",
publisher = "Springer",
pages = "12--30",
booktitle = "Functional Programming",
address = "United Kingdom",
}