Algorithms versus particular implementations

Knowledge package outline

Topic

Computation and software foundations

Purpose

Separates a method from the language expressing it.

Package contents

Pseudocode; equivalent programs; invariant notes.

Dependencies

Logical reasoning.