A Practical Theory of Programming

Authors:

ISBN: 978-1-4612-6444-6 (Print) 978-1-4419-8596-5 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-2

  2. No Access

    Chapter

    Pages 3-13

    Basic Theories

  3. No Access

    Chapter

    Pages 14-23

    Basic Data Structures

  4. No Access

    Chapter

    Pages 24-35

    Function Theory

  5. No Access

    Chapter

    Pages 36-69

    Program Theory

  6. No Access

    Chapter

    Pages 70-90

    Programming Language

  7. No Access

    Chapter

    Pages 91-101

    Recursive Definition

  8. No Access

    Chapter

    Pages 102-119

    Theory Design and Implementation

  9. No Access

    Chapter

    Pages 120-130

    Concurrency

  10. No Access

    Chapter

    Pages 131-148

    Communication

  11. No Access

    Chapter

    Pages 149-203

    Exercises

  12. No Access

    Chapter

    Pages 204-247

    Reference