Abstractions of State

• Computer memory: where data and programs reside

• Indexed storage: Scheme vectors

• Modifiable program data: application-specific

• Object-oriented programming: Java and C++

• Concurrent programming: Threads