Sémantique opérationnelle de constructions non séquentielles
On ajoute une construction non-déterministe et une construction parallèle à While, on construit leur sémantique opérationnelle (SOS et SN), et on compare les deux.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 930 | Sémantique des langages de programmation. Exemples.2021 |
Utilisateur : sieghttct
À présenter tranquillement, en agitant beaucoup les mains...
Références :
Semantics with Applications: An Appetizer - H. R. Nielson, F. Nielson
Utilisateur : Meven
Références :
Semantics with Applications: An Appetizer - H. R. Nielson, F. Nielson