Theory of Program Structures: Schemes, Semantics, Verification

✍ Scribed by Prof. Sheila A. Greibach (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1975
• Tongue: English
• Leaves: 375
• Series: Lecture Notes in Computer Science 36
• Edition: 1
• Category: Library

✦ 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

✦ Subjects

Software Engineering; Logics and Meanings of Programs