Paper Info
Title
Inverse image analysis generalises strictness analysis
Abstract
A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which the program denotes. Inverse image analysis is one possible way of extending strictness analysis to languages with lazy data structures and could perhaps be used to optimise code in implementations of such languages.
Year
DOI
Venue
1991
10.1016/0890-5401(91)90004-L
Inf. Comput.
Keywords
Field
DocType
strictness analysis,inverse image analysis,mathematics,image analysis,natural sciences
Data structure,Continuous function,Inverse,Strictness analysis,Computer science,Denotational semantics,Theoretical computer science,Implementation,Open set
Journal
Volume
Issue
ISSN
90
2
Information and Computation
Citations 
PageRank 
References 
15
0.97
9
Authors
1
Name
Order
Citations
PageRank
Peter Dybjer154076.99