Rapport (Rapport De Recherche) Année : 2000

The Devil Language

Résumé

Devil is a Domain-specific language dedicated to defining the basic communica- tion with a device. Unlike a general-purpose language, Devil allows a specification to be checked for consistency. This not only improves the safety of the interaction with the device but also uncovers bugs early in the development process. A compiler automatically generates from a Devil specification efficient low-level code to communicate with the device. This report presents the reference manual of the Devil language.

Domaines

Fichier principal
Vignette du fichier
RT-0244.pdf (277.99 Ko) Télécharger le fichier

Dates et versions

inria-00069929 , version 1 (19-05-2006)

Licence

Identifiants

  • HAL Id : inria-00069929 , version 1

Citer

Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller. The Devil Language. [Research Report] RT-0244, INRIA. 2000, pp.29. ⟨inria-00069929⟩
708 Consultations
632 Téléchargements

Partager

  • More