Part IV: Program Development

Society for Industrial and Applied Mathematics eBooks 2026 Book chapter

View at publisher
Authors: Victor L. Eijkhout
DOI: 10.1137/1.9781611978612.pt4
Cited by: 0

Abstract

We all like our programs to be totally perfect: to compute the right result or display the right behavior given the inputs, and never to derail. Unfortunately this rarely happens.

Fields of Study & Subjects

Software Engineering Techniques and Practices Logic programming and type systems Software Testing and Debugging Techniques

Publication details

Journal / source
Society for Industrial and Applied Mathematics eBooks
Pages
227–230
Publication date
19 January 2026
Language
EN
Document type
Book chapter