Abstract
In dit artikel wordt een methode voor strictheidsanalyse uitgewerkt voor een getypte functionele taal met arithmetische operatoren, λ-abstractie en expliciete recursie m.b.v.
dekpuntoperatoren. In het licht van deze methode wordt enige literatuur op dit gebied besproken. Dit rapport is geschreven als bijdrage aan het Parallelle Reductiemachine Project.