Strictness analysis based on abstract reduction of term graph rewrite systems (1988)

by E Nocker
Venue:In Proc. Workshop on Implementation of Lazy Functional Languages