Abstract
Algorithms were invented thousands of years ago, when the only thinkable machine to do computations were human beings’ own gray cells. And since this book is mainly about algorithms (and how imperative programming hides them), we start with a simple experiment involving some generic concept of a “computing device.” Indeed, the term “computing device” is intentionally fuzzy to stress the fact that most of the discussion in this chapter—and throughout this book—is not restricted to computers as we currently know them.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
(2003). Introduction. In: Collard, JF. (eds) Reasoning About Program Transformations. Springer, New York, NY. https://doi.org/10.1007/978-0-387-22461-9_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-22461-9_1
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-95391-5
Online ISBN: 978-0-387-22461-9
eBook Packages: Springer Book Archive