Stacks and last-in-first-out reasoning

Knowledge package outline

Topic

Computation and software foundations

Purpose

Provides a reusable model for nested work.

Package contents

Push-pop traces; expression parsing; underflow cases.

Dependencies

Lists.