Abstract
This chapter will dive into a very powerful technique of “proving” that your code works. This is something very unique to Ada 2012. None of the previous versions have them. They are used to ensure that certain conditions are met before executing a method, and certain changes were made after the execution has stopped.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Andrew T. Shvets
About this chapter
Cite this chapter
Shvets, A.T. (2020). Contracts and Proofs. In: Beginning Ada Programming. Apress, Berkeley, CA. https://doi.org/10.1007/978-1-4842-5428-8_14
Download citation
DOI: https://doi.org/10.1007/978-1-4842-5428-8_14
Published:
Publisher Name: Apress, Berkeley, CA
Print ISBN: 978-1-4842-5427-1
Online ISBN: 978-1-4842-5428-8
eBook Packages: Professional and Applied ComputingProfessional and Applied Computing (R0)Apress Access Books