Abstract
Software systems have been beset by errors since the dawn of the computing age. Type checking has enabled a number of potential errors to be eliminated at the compilation stage. There are, however, many other sources of error which a compiler cannot detect, and the more complex the system the harder it is to eliminate all potential errors.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Copyright information
© 1995 A.J. Tyrrell
About this chapter
Cite this chapter
Tyrrell, A.J. (1995). Assertions and Software Correctness. In: Eiffel Object-Oriented Programming. Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-13875-3_8
Download citation
DOI: https://doi.org/10.1007/978-1-349-13875-3_8
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-64554-3
Online ISBN: 978-1-349-13875-3
eBook Packages: EngineeringEngineering (R0)