Telecharger Cours

Sémantique d'un petit langage impératif

Deuxi`eme cours: Imp toujours. ? Imp: X,Y ,... expressions arithmétiques ... un repeat. ? les programmes X:=X + 1;X:=X + 1 et X:=X + 2 sont identifiés.



Download