Programming language syntax and semantics
David A. Watt, Muffy Thomas · Prentice Hall International (UK) Ltd. eBooks · 1991
*Preface *Introduction *Syntax *Denotational Semantics: Properties *Denotational Semantics: Applications *Denotational Semantics: Theory *Algebraic Semantics *Action Semantics: Principles *Action Semantics: Applications