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 ...

Get Understanding Computation now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.