Documents disponibles écrits par cet auteur

Conception et définition de L.E.P.C. / Chérief Née Hadjeres, Farroudja 

Public ISBD 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 : Chérief Née Hadjeres, Farroudja, Auteur ; Laribi, Sid Ahmed, Directeur de thèse Editeur : Université des Sciences et de la Technologie Houari Boumedienne Année de publication : 1985 Importance : 58 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1985 Annexe f. 59 - 65 . Bibliogr. [1] f Langues : Français (fre) Mots-clés : Langage  --  programmation  ;  Fonctions  ;  Processus  ;  Sémantique  --  dynamique  ;  Etude  --  formelle  ;  Fonctions  --  auxiliaires  ;  Langage  --  C.S.P.  ;  Langage  --  ADA Index. décimale : M001685 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'entraine 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 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 Sequential 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é] / Chérief Née Hadjeres, Farroudja, Auteur ; Laribi, Sid Ahmed, Directeur de thèse . - Alger : Université des Sciences et de la Technologie Houari Boumedienne, 1985 . - 58 f. : ill. ; 27 cm. Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1985 Annexe f. 59 - 65 . Bibliogr. [1] f Langues : Français (fre) Mots-clés : Langage  --  programmation  ;  Fonctions  ;  Processus  ;  Sémantique  --  dynamique  ;  Etude  --  formelle  ;  Fonctions  --  auxiliaires  ;  Langage  --  C.S.P.  ;  Langage  --  ADA Index. décimale : M001685 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'entraine 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 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 Sequential 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

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
M001685	M001685	Papier	Bibliothèque centrale	Mémoire de Magister	Disponible

Documents numériques

HADJERES.Ferroudja.pdf URL