Les tests et leur caractérisation syntaxique

Sémantique algébrique de l'appel par valeur

“…Or la sémantique opérationnelle de Lang est, dans le cas de l'appel par valeur, exactement celle de la «full value substitution rule»; le résultat de Lang prouve donc cette conjecture [5], Donnons un exemple simple de la transformation que nous utilisons : soit le schéma (p (x, y) = t (x, y) où y est appelé par valeur; nous le transformons en cp (x, y) = a (y, t (x, y)) où l'interprétation de a (y, z) sera toujours : si y = _L alors ± sinon z. C'est donc un test au sens de L Guessarian [7]. De manière générale, les transformations syntaxiques que nous utilisons consistent à introduire dans le schéma de nouveaux symboles fonctionnels qui seront toujours interprétés comme des tests.…”