Safer language subsets: an overview and a case history, MISRA C

  title={Safer language subsets: an overview and a case history, MISRA C},
  author={Les Hatton},
  journal={Information & Software Technology},
Highly Cited
This paper has 71 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

71 Citations

Citations per Year
Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

An exemplary test suite for the MISRA C standard",

  • L. Hatton
  • 2002
1 Excerpt

Do formal methods really work ?

  • S. L. Pfleeger, L Hatton
  • IEEE Computer,
  • 1997
2 Excerpts

C++ and C debugging, testing and reliability", Prentice-Hall, ISBN 0-13-308172-9

  • D. Spuler
  • 1995
1 Excerpt

Classics in Software Engineering

  • E. Yourdon
  • 1979
1 Excerpt

Similar Papers

Loading similar papers…