The Devil Language

Abstract : 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.
Type de document :
Rapport
[Research Report] RT-0244, INRIA. 2000, pp.29
Liste complète des métadonnées

https://hal.inria.fr/inria-00069929
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 19 mai 2006 - 18:36:51
Dernière modification le : vendredi 6 avril 2018 - 13:42:02
Document(s) archivé(s) le : samedi 3 avril 2010 - 21:34:22

Fichiers

Identifiants

  • HAL Id : inria-00069929, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

629

Téléchargements de fichiers

405