A formal semantic definition of DEVIL

@article{Luo2003AFS,
  title={A formal semantic definition of DEVIL},
  author={Lei Luo and Ming-Yuan Zhu and Qing-Li Zhang},
  journal={SIGPLAN Notices},
  year={2003},
  volume={38},
  pages={47-56}
}
In this paper we present a formal semantic definition of a device interface language called DEVIL (DEVice Interface Language). The semantic model is based on a high-order logic system supported by a mathematical theorem proof development system called PowerEpsilon. This work is intended for fully understanding semantics of DEVIL and will be used as a reference-guide in implementation project for the embedded real-time operating system Δ-OS. 

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

Improving driver robustness: an evaluation of the Devil approach

  • 2001 International Conference on Dependable Systems and Networks
  • 2001
VIEW 14 EXCERPTS
HIGHLY INFLUENTIAL

A DSL approach to improve productivity and safety in device drivers development

  • Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
  • 2000
VIEW 14 EXCERPTS
HIGHLY INFLUENTIAL

Edinburgh LCF

  • Lecture Notes in Computer Science
  • 1979
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL