Matches in SemOpenAlex for { <https://semopenalex.org/work/W45677268> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- W45677268 abstract "Nous presentons au cours de ce manuscrit l'analyse de programmes occam2 implementes sur reseaux de transputers. Cette etude se divise en une analyse statique et une analyse dynamique des programmes en se concentrant sur les difficultes specifiques dues au parallelisme. Notre analyse statique est basee sur une definition formelle du langage. Celle-ci correspond a la donnee d'une grammaire ll(k) attribuee qui permet de realiser un ensemble de controles statiques des programmes occam2. Les aspects dynamiques du langage occam 2 sont detailles afin de valider les simulations des executions des programmes occam 2. Pour ce faire, nous definissons une semantique operationnelle du langage dirigee par la syntaxe. Cette definition est basee sur les travaux de g. Plotkin a propos d'une semantique de csp. Nous definissons le cadre des simulations par les descriptions d'une machine abstraite a structure de pile et des donnees manipulees. Ces descriptions sont faites par l'emploi de specifications algebriques. Nous donnons egalement sous forme de specification la semantique du code genere a partir d'un programme occam2. Cet ensemble de descriptions formelles permet de justifier que les simulations sont conformes a la semantique operationnelle du langage. Nous illustrons cette equivalence avec l'etude de trois exemples significatifs de caracteristiques du langage. Nous illustrons cette equivalence avec l'etude de trois exemples significatifs de caracteristiques du langage. Nous decrivons ensuite notre environnement graphique epo++ construit sur les principes formels que nous avons donnes au prealable. Cet environnement est base sur l'observation des programmes occam2. Durant l'analyse statique, une etude structurelle permet de controler les contraintes statiques de la semantique du langage. Le placement de differents points d'arret et l'initialisation de parametres pour la simulation permettent d'obtenir une simulation particuliere du programme occam2. La sauvegarde d'un ensemble d'etats de cette simulation permet de reexecuter ce programme. L'utilisateur peut grace a ce double mecanisme examiner son programme dans un but de mise au point ou de comprehension de son comportement" @default.
- W45677268 created "2016-06-24" @default.
- W45677268 creator A5045568620 @default.
- W45677268 date "1992-01-01" @default.
- W45677268 modified "2023-09-27" @default.
- W45677268 title "Conception et realisation d'outils d'aide a la programmation sur reseaux de transputers" @default.
- W45677268 hasPublicationYear "1992" @default.
- W45677268 type Work @default.
- W45677268 sameAs 45677268 @default.
- W45677268 citedByCount "0" @default.
- W45677268 crossrefType "dissertation" @default.
- W45677268 hasAuthorship W45677268A5045568620 @default.
- W45677268 hasConcept C121332964 @default.
- W45677268 hasConcept C138885662 @default.
- W45677268 hasConcept C15708023 @default.
- W45677268 hasConcept C199360897 @default.
- W45677268 hasConcept C41008148 @default.
- W45677268 hasConcept C78469957 @default.
- W45677268 hasConceptScore W45677268C121332964 @default.
- W45677268 hasConceptScore W45677268C138885662 @default.
- W45677268 hasConceptScore W45677268C15708023 @default.
- W45677268 hasConceptScore W45677268C199360897 @default.
- W45677268 hasConceptScore W45677268C41008148 @default.
- W45677268 hasConceptScore W45677268C78469957 @default.
- W45677268 hasLocation W456772681 @default.
- W45677268 hasOpenAccess W45677268 @default.
- W45677268 hasPrimaryLocation W456772681 @default.
- W45677268 isParatext "false" @default.
- W45677268 isRetracted "false" @default.
- W45677268 magId "45677268" @default.
- W45677268 workType "dissertation" @default.