Strictness analysis for a class of second order functional languages

  • Frédéric Burlet

    Student thesis: Master typesMaster en sciences informatiques

    Résumé

    Strictness analysis is a method of static analysis based on abstract interpretation
    for functional programs. The purpose of this technique is to transform call-by-name into call-by-value when the result of fonction call are identical. So, the semantics of call-by-name is unchanged and the evaluation of the result is more efficient. This analysis is applied to a second order functional language
    la date de réponse2002
    langue originaleAnglais
    SuperviseurBaudouin LE CHARLIER (Promoteur)

    Contient cette citation

    '