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

Voir Plus Voir Moins

Afficher le Résumé

langages de program- premier chapitre de ce document résent'. al . deuxième chapitre déc 't d lèle ADA et CSP (Communicating Sequential Processes). ri e manière informelle le langage L.E.P.C la description des types de données (tableau, enregistrement, différentes unités de programmes (fonctions, processus) et de commandes du langage(commande alternative, commande répétitive, . communication et l'affectation). troisième chapitre rése t NG' u léthode utilisée pour décrire L.E.P C no . M1iatrième et dernier cha it déf I O U I p n e quatre méthodes de formalisation de la sémantique par attributs, la sémantique opérationnelle, e axiomatique et la sémantique dénotationnelle. est le formalisme de sé tationnelle qui vise à ramener la définition des langages de à un formalisme mathématique. t p re init de façon formelle la séman- ue) de L E P C , qui consiste à décrire le comportement à 'e×é aque phrase du langage à l'ade d'une Fonction Meaning notée M.y .on associe à chaque objet du langage un objet mathématiqu