Navigation ...
|
|
|
Scientific Writing ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Other Writing ...
|
|
|
|
|
|
The title field is colour coded. Books are coded in red and chapters are colour coded in orange. Everything else is simply black.
Safer SubsetsI 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 2007 | SA | MISRA_comp_1105.html |
Les Hatton | 2004m | The second edition of the MISRA C guidelines | Safety Critical Systems Club Newsletter, January 2005 | SA | SCSC_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-187 | SA | ISOC_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-472 | SA | IST_1103.html |
Les Hatton | 2002b | A MISRA C exemplary test suite | WEB | SA | MISRA_CNF_1002.html |
Les Hatton | 1995a | Computer programming languages and safety-related systems | Proceedings of 3rd. Safety-Critical Systems Symposium | SA | SCSS_595.html |
Les Hatton | 1995 | Safer C: Developing software in high integrity and safety-critical systems | ISBN 0-07-707640-0 | SA | saferc95.html |
Les Hatton | 1992 | Fortran, C or C++ for geophysical development | Journal of Seismic Exploration, 1(1) | SA | JSX_0192.html |
Summary: number of books 1, number of invited chapters 1, number of other articles 6
Auto-generated: $Revision: 1.66 $, $Date: 2023/08/12 15:03:35 $, Copyright Les Hatton 2001-
|