Projet SYNCHRONE : les formats communs des langages synchrones

Résumé : Ce document définit la syntaxe et la sémantique des formats communs des langages synchrones. Ces formats constituent un socle commun à la programmation synchrone, sur lequel de nombreux outils seront applicables. Le socle est constitué de trois formats entre lesquels existeront des passerelles de traduction : IC est un format parallèle de type impératif - GC est un format parallèle de type flot de données - OC est un format automate séquentiel.
Document type :
Reports
Liste complète des métadonnées

https://hal.inria.fr/inria-00071316
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 4:10:21 PM
Last modification on : Friday, November 16, 2018 - 1:27:00 AM
Document(s) archivé(s) le : Tuesday, February 22, 2011 - 11:51:35 AM

Identifiers

  • HAL Id : inria-00071316, version 1

Citation

Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi, et al.. Projet SYNCHRONE : les formats communs des langages synchrones. [Rapport de recherche] RT-0157, INRIA. 1993. ⟨inria-00071316⟩

Share

Metrics

Record views

448

Files downloads

133