Conception et définition de L.E.P.C / Cherief Née Hadjeres, Ferroudja

Public ISBD Faire une suggestion d'achat Titre : Conception et définition de L.E.P.C : langage pour l'expression du parallélisme et de la communication et étude formelle de la sémantique dynamique Type de document : texte imprimé Auteurs : Cherief Née Hadjeres, Ferroudja, Auteur Editeur : USTHB Année de publication : 1985 Importance : 66 p. Format : 30 cm. Langues : Français (fre) Index. décimale : 000 Généralités Résumé : Dans ce travail nous avons conçu et défini le langage L.E.P.C. (langage pour l'expression du parallélisme et de la communication) qui permet de définir des processus communicants et de construire des réseaux de processus à travers des expressions basées sur les opérations suivantes : l'union (parallélisme), la connexion, l'abstraction, le renommage et la séquentialité. L'application de ces opérations n'entraîne que des manipulations syntaxiques, des processus. La synchronisation des processus est assurée par le mécanisme de "rendez-vous" (attente de communication). L'étude formelle de la sémantique comporte deux parties : l'étude formelle de la sémantique statique développée dans la thèse ABD 85 7 et la définition formelle de la sémantique dynamique traitée en détail dans ce document. Le premier chapitre de ce document présente les langages de programmation parallèle ADA et CSP (communicating séquentiel processes). Le deuxième chapitre décrit de manière informelle le langage L.E.P.C. On y trouve la description des types de données (tableau, enregistrement, etc...), des différentes unités de programmes (fonctions, processus) et de toutes les commandes du langage (commande alternative, commande répétitive, commande de communication et l'affectation). Le troisième chapitre présente quatre méthodes de formalisation de la sémantique : la sémantique par attributs, la sémantique opérationnelle, la sémantique axiomatique et la sémantique dénotationnelle. La méthode utilisée pour décrire L.E.P.C. est le formalisme de sémantique dénotationnelle qui vise à ramener la définition des langages de programmation à un formalisme mathématique. Le quatrième et dernier chapitre définit de façon formelle la sémantique (dynamique) de L.E.P.C., qui consiste à décrire le comportement à l'exécution de chaque phrase du langage à l'aide d'une fonction Meaning notée M. Cette fonction associe à chaque objet du langage un objet mathématique appelé dénotation. Conception et définition de L.E.P.C : langage pour l'expression du parallélisme et de la communication et étude formelle de la sémantique dynamique [texte imprimé] / Cherief Née Hadjeres, Ferroudja, Auteur . - USTHB, 1985 . - 66 p. ; 30 cm. Langues : Français (fre) Index. décimale : 000 Généralités Résumé : Dans ce travail nous avons conçu et défini le langage L.E.P.C. (langage pour l'expression du parallélisme et de la communication) qui permet de définir des processus communicants et de construire des réseaux de processus à travers des expressions basées sur les opérations suivantes : l'union (parallélisme), la connexion, l'abstraction, le renommage et la séquentialité. L'application de ces opérations n'entraîne que des manipulations syntaxiques, des processus. La synchronisation des processus est assurée par le mécanisme de "rendez-vous" (attente de communication). L'étude formelle de la sémantique comporte deux parties : l'étude formelle de la sémantique statique développée dans la thèse ABD 85 7 et la définition formelle de la sémantique dynamique traitée en détail dans ce document. Le premier chapitre de ce document présente les langages de programmation parallèle ADA et CSP (communicating séquentiel processes). Le deuxième chapitre décrit de manière informelle le langage L.E.P.C. On y trouve la description des types de données (tableau, enregistrement, etc...), des différentes unités de programmes (fonctions, processus) et de toutes les commandes du langage (commande alternative, commande répétitive, commande de communication et l'affectation). Le troisième chapitre présente quatre méthodes de formalisation de la sémantique : la sémantique par attributs, la sémantique opérationnelle, la sémantique axiomatique et la sémantique dénotationnelle. La méthode utilisée pour décrire L.E.P.C. est le formalisme de sémantique dénotationnelle qui vise à ramener la définition des langages de programmation à un formalisme mathématique. Le quatrième et dernier chapitre définit de façon formelle la sémantique (dynamique) de L.E.P.C., qui consiste à décrire le comportement à l'exécution de chaque phrase du langage à l'aide d'une fonction Meaning notée M. Cette fonction associe à chaque objet du langage un objet mathématique appelé dénotation.

Exemplaires(1)

Cote	Rayonnage		Support	Disponibilité
005.362 CHE/M	F74	13	Consultation	Exclu du prêt

---

1 (1 - 1 / 1) Par page : 25 50 100 200