دانلود کتاب Semantics with applications: an appetizer

فهرست مطالب :

Front Matter......Page 2
Title Page......Page 4
Preface......Page 6
Contents......Page 10
List of Tables......Page 12
1.1. Semantic Description Methods......Page 14
1.2. The Example Language While......Page 20
1.3. Semantics of Expressions......Page 22
2. Operational Semantics......Page 32
2.1. Natural Semantics......Page 33
2.2. Structural Operational Semantics......Page 46
2.3. An Equivalent Result......Page 54
3.1. Non-sequential Language Constructs......Page 60
3.2. Blocks and Procedures......Page 67
4.1. The Abstract Machine......Page 79
4.2. Specification of the Translation......Page 87
4.3. Correctness......Page 90
4.4. An Alternative Proof Technique......Page 100
5. Denotational Semantics......Page 103
5.1. Direct Style Semantics: Specification......Page 104
5.2. Fixed Point Theory......Page 111
5.3. Direct Style Semantics: Existence......Page 127
5.4. An Equivalence Result......Page 133
6.1. Environments and Stores......Page 139
6.2. Continuations......Page 150
7. Program Analysis......Page 156
7.1. Detection of Signs Analysis: Specification......Page 160
7.2. Detection of Signs Analysis: Existence......Page 172
7.3. Safety of the Analysis......Page 177
7.4. Program Transformation......Page 182
8. More on Program Analysis......Page 186
8.1. Data Flow Frameworks......Page 188
8.2. Security Analysis......Page 194
8.3. Safety of the Analysis......Page 204
9.1. Direct Proofs of Program Correctness......Page 216
9.2. Partial Correctness Assertions......Page 223
9.3. Soundness and Completeness......Page 231
10.1. Total Correctness Assertions......Page 240
10.2. Assertions for Execution Time......Page 250
11. Further Reading......Page 258
A. Review of Notation......Page 262
B. Implementation of Program Analysis......Page 266
B.1. The General and Monotone Frameworks......Page 268
B.2. The Completely Additive Framework......Page 270
B.3. Iterative Program Schemes......Page 273
Bibliography......Page 278
Index......Page 280