The Shape of a Program

Explore the fascinating intersection of programming and topology in this keynote address from ACCU 2018. Delve into Lisa Lippincott's innovative perspective on viewing programs as spatial entities, examining concepts such as connection, separation, paths, and boundaries. Learn how topology, the fundamental mathematics of space, can be applied to describe a program as a bitopological manifold, arranging actions and capabilities within a framework of time, space, causality, and possibility. Discover key concepts including locality, directional space, preconditions, interface notation, implementation gaps, and more. No prior knowledge of topology is required for this thought-provoking 59-minute talk that challenges conventional ways of thinking about program structure and design.

Introduction
Locality
Topology
Directional Space
Connection
Preconditions
Two kinds of assertions
How to use maps
Interface notation
Interface repeatability
Implementation gap
Heap
Copy Construction
If Statement
Dual Assignment