Prof. Sheila A. Greibach (eds.)3540074155, 9783540074151
The material in these lecture notes offers an exposition – aijned at graduate students rather than researchers in the field – of a topic often called ”program schemata” or ”schematology”. The subject matter represents one approach to formalizing the elusive notion of the ”semantics of programming languages”. The idea is to model an ”abstract flowchart” and study the interrelation between the syntax of programs (what can be said about their behavior from their format) and the semantics (what they actually ”do”, depending on the interpretation, the programming language, and perhaps even the implementation) and examine the application of formal proof systems to verify properties of programs. |
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 |
Reviews
There are no reviews yet.