Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy functional programming languages. This paper focuses on an actual implementation of a strictness analyser for Haskell. The analyser uses abstract interpretation with chaotic fixpoint iteration. The demand-driven nature of this iteration technique allows us to use large domains including function domains in the style of Burn et al. 1986 and Wadler 87 and retain reasonable efficiency. The implementation, furthermore, allows us to introduce a new way of handling polymorphism by parameterizing the strictness functions with domain-variables. Finally we present some results of efficiency and precision and compare them to other works.
|Titel||Static Analysis, First International Static Analysis Symposium, SAS'94|
|Status||Udgivet - 1994|
|Navn||Lecture Notes in Computer Science|