Tree

Navigation ...

lh_home.png
lh_personal.png

Scientific Writing ...

lh_AA.png
lh_AC.png
lh_BE.png
lh_CS.png
lh_DA.png
lh_ED.png
lh_GE.png
lh_GP.png
lh_LW.png
lh_MA.png
lh_ME.png
lh_PR.png
lh_SA.png
lh_SF.png

Other Writing ...

lh_AR.png
lh_ES.png
lh_MU.png
lh_SP.png

The title field is colour coded. Books are coded in red and chapters are colour coded in orange. Everything else is simply black.


Safer Subsets

I have spent so much time on this in the last few years that I have pulled this subject out of its parent and given it an entry of its own. All this work relates to my efforts to catalogue known failures in programming languages so that people can then avoid them in future.

Author(s) Year Title Reference Category More details

Les Hatton

2005w

Language subsetting in an industrial context: a comparison of MISRA C 1998 and MISRA C 2004

Information and Software Technology 49 (5), p. 475-482, May 2007SAMISRA_comp_1105.html

Les Hatton

2004m

The second edition of the MISRA C guidelines

Safety Critical Systems Club Newsletter, January 2005SASCSC_MISRAv2.html

Les Hatton

2003m

EC--, a measurement based safer subset of ISO C suitable for embedded system development

Information and Software Technology, 47 (3) (2005), p. 181-187SAISOC_subset1103.html

Les Hatton

2003c

Safer Language Subsets: an overview and a case history, MISRA C

Information and Software Technology, 46 (7) (2004), p.465-472SAIST_1103.html

Les Hatton

2002b

A MISRA C exemplary test suite

WEBSAMISRA_CNF_1002.html

Les Hatton

1995a

Computer programming languages and safety-related systems

Proceedings of 3rd. Safety-Critical Systems SymposiumSASCSS_595.html

Les Hatton

1995

Safer C: Developing software in high integrity and safety-critical systems

ISBN 0-07-707640-0SAsaferc95.html

Les Hatton

1992

Fortran, C or C++ for geophysical development

Journal of Seismic Exploration, 1(1)SAJSX_0192.html

Summary: number of books 1, number of invited chapters 1, number of other articles 6


Auto-generated: $Revision: 1.58 $, $Date: 2016/01/03 19:07:28 $, Copyright Les Hatton 2001-