1. Symposium on Programming 1974: Paris, France

Structured Programm

Program Correctness

Proving Properties of Programs

Specific Applications of Programming Languages

Control Structures

Schematology

Theory of Programming

System Design

Parallel Processing

Formal Semantics