Semantics with Applications: An Appetizer

Authors:

ISBN: 978-1-84628-691-9 (Print) 978-1-84628-692-6 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xii

  2. No Access

    Chapter

    Pages 1-18

    Introduction

  3. No Access

    Chapter

    Pages 19-46

    Operational Semantics

  4. No Access

    Chapter

    Pages 47-65

    More on Operational Semantics

  5. No Access

    Chapter

    Pages 67-90

    Provably Correct Implementation

  6. No Access

    Chapter

    Pages 91-126

    Denotational Semantics

  7. No Access

    Chapter

    Pages 127-143

    More on Denotational Semantics

  8. No Access

    Chapter

    Pages 145-174

    Program Analysis

  9. No Access

    Chapter

    Pages 175-204

    More on Program Analysis

  10. No Access

    Chapter

    Pages 205-228

    Axiomatic Program Verification

  11. No Access

    Chapter

    Pages 229-246

    More on Axiomatic Program Verification

  12. No Access

    Chapter

    Pages 247-250

    Further Reading

  13. Back Matter

    Pages 251-274