Theory of Program Structures: Schemes, Semantics, Verification

Prof. Sheila A. Greibach (eds.)3540074155, 9783540074151

Table of contents :
Introduction….Pages 1-1-1-8
Program schemes — basic definitions and concepts….Pages 2-1-2-27
Program schemes — basic properties….Pages 3-1-3-39
Structured Programs….Pages 4-1-4-65
Correctness and program verification….Pages 5-1-5-34
Decision problems….Pages 6-1-6-34
Recursion schemes….Pages 7-1-7-78
Monadic recursion schemes….Pages 8-1-8-36