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
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.