Le format déclaratif DC

Résumé

Ce document présente le format DC (pour "Declarative Code" en anglais), qui fait partie des formats communs des langages synchrones (Esterel, Lustre et Signal pour l'instant). Ces formats sont utilisés dans la représentation interne des programmes synchrones, de façon à partager les outils entre ces langages (générateurs de code, répartiteurs automatiques, vérificateurs, compilateurs pour circuits, simulateurs ...) et à faciliter le mélange de programmes écrits dans ces langages.

Entrée BibTeX

@Manual{DC,
  title = 	 {The declarative code DC, version 1.2a},
  author =	 {N. Halbwachs},
  organization = {V\'erimag},
  address =	 {Grenoble, France},
  year =	 {1995},
  month =	 {October},
  note =	 {unpublished report}
}