Skip to main content

Introduction

  • Chapter
  • 84 Accesses

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics