Projet SYNCHRONE : les formats communs des langages synchrones

Abstract

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