A Connotational Theory of Program Structure This book presents developments of a language-independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. Full description
"synopsis" may belong to another edition of this title.