Safe programming

Publisher Website

1 March 1978

journal article
research article
Published by Springer Nature in BIT Numerical Mathematics

Vol. 18 (1) , 1-8
https://doi.org/10.1007/bf01947739

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Proof of termination within a weak logic of programs
Acta Informatica, 1977
Observations of Fallibility in Applications of Modern Programming Methodologies
IEEE Transactions on Software Engineering, 1976
A control statement for natural top-down structured programming
Published by Springer Nature ,1974
Subrecursive Programming Languages, Part I
Journal of the ACM, 1972
Debugging tools for high level languages
Software: Practice and Experience, 1972