Denotational Semantics. A Methodology for Language Development

Contents......Page 2
Preface......Page 7
Intro......Page 10
Methods for Semantics Specification......Page 11
Reading......Page 12
Syntax......Page 14
Abstract Syntax Definitions......Page 18
Mathematical & Structural Induction......Page 21
Reading......Page 24
Sets......Page 26
Functions......Page 29
Semantic Domains......Page 34
Reading......Page 36
Primitive Domains......Page 39
Compound Domains......Page 43
Recursive Function Definitions......Page 53
Summary......Page 55
Reading......Page 57
Valuation Function......Page 63
Format of Denotational Definition......Page 66
Calculator Language......Page 68
Reading......Page 72
Language with Assignment......Page 75
Interactive File Editor......Page 82
Dynamically typed Language with IO......Page 89
Altering the Properties of Stores......Page 91
Reading......Page 97
Domain Theory 2 Recursively defined Functions......Page 103
Recursively defined Functions......Page 104
Partial Orderings......Page 107
Continious Functions......Page 111
Least Fixed Points......Page 112
Domains are CPOS......Page 113
Examples......Page 118
Reasoning about Least Fixed Points......Page 126
Reading......Page 128
Languages with Contexts......Page 134
Block-structured Language......Page 136
Applicative Language......Page 146
Compound Data Structures......Page 157
Reading......Page 163
Abstraction, Correspondence & Qualification......Page 169
Abstraction......Page 170
Parametrization......Page 174
Correspondence......Page 179
Qualification......Page 180
Orthogonality......Page 182
Reading......Page 183
Continuations......Page 187
Exception Mechanisms......Page 191
Coroutine Mechanisms......Page 192
Unrestricted Branching Mechanisms......Page 196
Relationship btw Direct & Continuation Semantics......Page 202
Reading......Page 204
General Method of Implementation......Page 208
Static Semantic Processing......Page 210
Structure of the Evaluator......Page 212
Combinator-based Semantic Notations......Page 218
Semantic Definition Transformations......Page 221
Implementation of Continuation-based Definitions......Page 227
Correctness of Implementation & Full Abstraction......Page 232
Reading......Page 234
Reflexive Domains have infinite Elements......Page 239
Inverse Limit Construction......Page 243
Applications......Page 250
Reading......Page 254
Nondeterminism & Concurrency......Page 259
Guarded Command Language......Page 260
Concurrency & Resumption Semantics......Page 263
Alternative Semantics for Concurrency......Page 267
Powerdomain Structure......Page 274
Reading......Page 283
Biblio......Page 286