Assertions in programming languages
- 1 January 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (1), 105-114
- https://doi.org/10.1145/954127.954139
Abstract
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.Keywords
This publication has 4 references indexed in Scilit:
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- HAL/S - The Avionics Programming System for ShuttlePublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- New assertion concepts for self-metric software validationPublished by Association for Computing Machinery (ACM) ,1975
- Debugging tools for high level languagesSoftware: Practice and Experience, 1972