H ? « ‹ ← → › »

Language peer sets for DEVIL:
France↑
France/2000↑
Designed 2000 ↑
2000s languages ↑
Internet↑
New internationlism↑
Experimental and other ↑
Experimental and other/2000↑
Experimental and other/fr ↑

DEVIL(ID:6202/dev002)

alternate simple view
Country: France
Designed 2000
Sammet category: Experimental and other

Device Driver DSL, part of the Compose project at INRIA
References:
  • Merillon, F. (2000) Merillon, F. ; L. Reveillere, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In Proceedings of the 4th USENIX Symposium on Operating System Design and Implementation (OSDI), pages 17{30, San Diego, California, October 2000.
  • Réveillère, L.; Mérillon, F.; Consel, C.; Marlet, (2000) Réveillère, L.; Mérillon, F.; Consel, C.; Marlet, R. and G. Muller. "A DSL Approach to Improve Productivity and Safety in Device Drivers Development"
          in 15th IEEE International Conference on Automated So (2000) 15th IEEE International Conference on Automated Software Engineering (ASE 2000). Grenoble, France, September 2000
  • Réveillère, Laurent; Mérillon, F.; Consel, C.; Mar (2000) Réveillère, Laurent; Mérillon, F.; Consel, C.; Marlet, R. and G. Muller. "The DEVIL language, release 0.4" Technical report, Compose Group, IRISA/INRIA, University of Rennes I Campus Universitaire de Beaulieu, F-35042, Rennes Cedex, France, August 2000. Abstract
          in 15th IEEE International Conference on Automated So (2000) 15th IEEE International Conference on Automated Software Engineering (ASE 2000). Grenoble, France, September 2000
  • (2001) Laurent Réveillère , Gilles Muller, Improving Driver Robustness: An Evaluation of the Devil Approach, Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), p.131-140, July 01-04, 2001
          in 15th IEEE International Conference on Automated So (2000) 15th IEEE International Conference on Automated Software Engineering (ASE 2000). Grenoble, France, September 2000
  • Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang (2003) Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang "A formal semantic definition of DEVIL" pp47-56 Abstract DOI Extract: DEVIL
          in [SIGPLAN] (2003) ACM SIGPLAN Notices 38(4) April 2003
  • Conway, Christopher L. and Edwards, Stephen A. (2004) Conway, Christopher L. and Edwards, Stephen A. "NDL: A Domain-Specific Language for Device Drivers" LCTES?04, June 11?13, 2004, Washington, DC, USA. Extract: Introduction Extract: Related Work Extract: NDL Extract: DEVIL
          in [SIGPLAN] (2003) ACM SIGPLAN Notices 38(4) April 2003
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder