Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Dans un formalisme relationnel, un programme peut être représenté par un quintuplet P = (G, S, β, ε, α) où G est le graphe de contrôle, S est le graphe sur l'ensemble des situations (une situation est une paire (s, p) où s est un état du programme et p un point de commande dans le graphe de contrôle), β est un homomorphisme surjectif de S vers G, et ε est respectivement les relations d'entrée et de sortie. Nous définissons la sémantique d'un programme P comme étant la relation entre les points d'entrée et de sortie (déterminés par ε et …
