Skip to Content
Understanding Computation
book

Understanding Computation

by Tom Stuart
May 2013
Beginner
329 pages
8h 55m
English
O'Reilly Media, Inc.
Content preview from Understanding Computation

Index

A note on the digital index

A link in an index entry is displayed as the section title in which that entry appears. Because some sections have multiple index markers, it is not unusual for an entry to have several links to the same section. Clicking on any link will take you directly to the place in the text in which the marker appears.

Symbols

* operator, Variadic Methods, Syntax
. (dot), Data Structures, Objects and Methods
: (colon), Basic Data
=> prompt, Interactive Ruby Shell
>> prompt, Interactive Ruby Shell
[ ] (square brackets), Data Structures, Procs
{ } (curly brackets), Data Structures, Blocks

A

absolute value, Abstraction: Multiplying Signs
abstract interpretation
about, Abstract Interpretation
adding signs, Safety and Approximation: Adding SignsSafety and Approximation: Adding Signs
applications, Applications
multiplying signs, Abstraction: Multiplying SignsAbstraction: Multiplying Signs
route planning, Route Planning
abstract machines, Operational Semantics
abstract syntax tree (AST)
about, Syntax
building by hand, Expressions
reduction relation, Small-Step Semantics
accept states, Output, Nondeterminism, Semantics
Adams, Douglas, Universal Systems Can Loop Forever
algorithms, Universal Systems Can Perform AlgorithmsUniversal Systems Can Perform Algorithms
Analytical Engine, Finding Meaning
applications
abstract interpretation, Applications
big-step semantics, Applications
denotational semantics, Applications
small-step semantics, Applications
arguments
blocks of code and, Blocks
messages ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Read now

Unlock full access

More than 5,000 organizations count on O’Reilly

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.
Julian F.
Head of Cybersecurity
QuotationMarkI wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.
Addison B.
Field Engineer
QuotationMarkI’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.
Amir M.
Data Platform Tech Lead
QuotationMarkI'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Mark W.
Embedded Software Engineer

You might also like

Algorithmic Thinking

Algorithmic Thinking

Dan Zingaro
Learning Algorithms

Learning Algorithms

George Heineman

Publisher Resources

ISBN: 9781449330071Errata Page