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

@article{Hatton2004SaferLS,
  title={Safer language subsets: an overview and a case history, MISRA C},
  author={Les Hatton},
  journal={Information & Software Technology},
  year={2004},
  volume={46},
  pages={465-472}
}
Highly Cited
This paper has 71 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

71 Citations

051015'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.

References

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

An exemplary test suite for the MISRA C standard", www.cs.ukc.ac.uk/national/SLS

  • 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…