Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

The Shape of a Program

ACCU Conference via YouTube

Overview

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.

Syllabus

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

Taught by

ACCU Conference

Reviews

Start your review of The Shape of a Program

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.