Développement : Sémantique opérationnelle de constructions non séquentielles

Détails/Enoncé :

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.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Semantics with Applications: An Appetizer, H. R. Nielson, F. Nielson (utilisée dans 3 versions au total)