Conception et définition de l.e.p.c

Voir Plus Voir Moins

Afficher le Résumé

Le premierchapitre de ce document présente les langages de program- ada et csp (communicating sequential ocesses). chapitre décrit de manière informelle le langage l.e.p.c la description des types de données (tableau nregistrement, différentes unités de programmes (fonct ions, processus) et de du langage (commande lternative,commande répétitive, communication et l'affectation). troisième chapitre présente quatre méthodes de formalisation de la sémantique par attributs, la sémantique opérationnelle, axiomatique et la sémantique dénotationnelle. léthode utilisée pour décrire l.e.p.c. est le formalisme de sé- e qui vise à ramener la définition des langages de à un formalisme mathématique. quatrième et dernier cha statique l pitre étudie en détail les problèmes liés techniques de type bnf ne permettent de décrire qu'une partie de dite sans contexte. un est donc conduit en pratique à traiter au la sémantique des propriétés qui relèvent à proprement parler de la c'est ce qu'on appelle lamaniique aiuîiquz : elle permet de vé- validité de chaque construction d'un programme en tenant compte des contextuelles. l'étude de la sémantique statique est faite à de la fonction well formed notée wf qui associe à une phrase du lan- h il v81eut vraie si la phrase est valide