Résumé
Strictness analysis is a method of static analysis based on abstract interpretationfor 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éponse | 2002 |
---|---|
langue originale | Anglais |
Superviseur | Baudouin LE CHARLIER (Promoteur) |