| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
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.
https://hal.inria.fr/inria-00069929
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:36:51 PM
Last modification on : Friday, February 4, 2022 - 3:19:35 AM
Long-term archiving on: : Saturday, April 3, 2010 - 9:34:22 PM
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:36:51 PM
Last modification on : Friday, February 4, 2022 - 3:19:35 AM
Long-term archiving on: : Saturday, April 3, 2010 - 9:34:22 PM