Safe programming

descriptionPublicationkeyboard_double_arrow_right Article , Part of book or chapter of book 01 Mar 1978 English Publisher:Springer Science and Business Media LLCJournal:BIT, volume 18, pages 1-8 (issn: 0006-3835, eissn: 1572-9125,

Copyright policy )

Authors: Anderson, T.; Witty, R. W.;

doi: 10.1007/bf01947739 , 10.1007/978-3-642-82470-8_19

Safe programming

- Summary
- Subjects
- Metrics

Abstract

Safe specifications and programs are advocated as a simple way of enhancing the reliability of software. The behaviour of a safe program can be more easily certified as being correct with respect to its safe specification, which implies guaranteed termination. This paper describes the theory of safe programming, demonstrates the building of a safe program and summarises the experience gained from practical applications of safe programming.

Related Organizations

Newcastle University
United Kingdom

Keywords

General topics in the theory of software

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	14
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average