Safe programming

DOI10.1007/BF01947739zbMath0377.68011OpenAlexW3191120366MaRDI QIDQ4155807

No author found.

Publication date: 1978

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01947739

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Semantics of algorithmic languages

Cites Work

• Unnamed Item
• Unnamed Item
• Proof of termination within a weak logic of programs
• Debugging tools for high level languages
• Subrecursive Programming Languages, Part I

This page was built for publication: Safe programming