Sémantique d'un petit langage

2 mai 2007 ... Différentes sémantiques d'un langage impératif. Pierre Lescanne derni`ere ... Présentation du langage ... Correction de la sémantique axiomatique. Complétude de ...... Voyez le livre de Glynn Winskel The Formal semantics of.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A