Lazi

s-loose (langage de calcul)

Contexte

Un calcul s-loose (pour scoped-loose) est identique à un calcul loose sauf qu'il est représenté par des SFP. Il effectue donc les mêmes calculs qu'un calcul loose, mais il permet de réduire éventuellement l'endroit désigné à être calculé. Il apporte donc une précision, certe inutile pour le calcul, mais qui peut être pratique pour raisonner sur les endroits calculés.

Définition du langage de calcul "s-loose"

Un calcul élémentaire "s-loose" est représenté par un SFP. Le calcul élémentaire est le calcul élémentaire univocal à l'endroit désigné par ce SFP.

Remarque : un calcul loose est aussi un calcul s-loose.