while

13 oct. 2004 ... Différentes sémantiques d'un langage impératif ... Présentation du langage ...... Voyez le livre de Glynn Winskel The Formal semantics of.


Un extrait du document