Flow of Control in the Proof Theory of Structured Programming

J. W. de Bakker

Published in: FOCS (1975)

Keyphrases

proof theory
programming language
machine learning
special case
default reasoning
proof theoretic