Abstract
We have now built up a moderate amount of experience in the top-down design of algorithms, the translation of these algorithms into a programming language, and the verification of the correctness of the resultant programs. The rest of the book will develop each of these themes much further, providing the reader with a variety of useful tools and a rich experience in their use. For definiteness we have chosen the programming language Pascal, but it should be clear to the reader that most of the tools we introduce are valid far beyond Pascal, even though the fine details of their use will depend on the conventions used in setting up a particular programming language.
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
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag, New York Inc.
About this chapter
Cite this chapter
Alagić, S., Arbib, M.A. (1978). Data Types. In: The Design of Well-Structured and Correct Programs. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-6272-5_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-6272-5_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6274-9
Online ISBN: 978-1-4612-6272-5
eBook Packages: Springer Book Archive