The notion of embedding assertions in applications programs to aid in program verification and testing is not at all new; yet programming language designers seem loath to provide them, at least in useful ways. The Department of Defense language Ada is a case in point. The use of assertions is briefly reviewed, suggestions for their incorporation in languages is given, and an example of how they have been provided for the language HAL/S is shown.
No takes yet. Share an insight, caveat, or question.
Richard N. Taylor (1980) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: