Efficient Strictness Analysis of Haskell

Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    Abstract

    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.
    OriginalsprogEngelsk
    TitelStatic Analysis, First International Static Analysis Symposium, SAS'94
    Antal sider17
    UdgivelsesstedNamur, Belgien
    ForlagSpringer
    Publikationsdato1994
    Sider246-362
    ISBN (Trykt)3-540-58485-4
    StatusUdgivet - 1994
    NavnLecture Notes in Computer Science
    Vol/bind864
    ISSN0302-9743

    Citer dette