↓ Skip to main content

Mathematical Methods in Program Development

Overview of attention for book
Cover of 'Mathematical Methods in Program Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Eliminating the Chaff—Again Banquet Speech at Marktoberdorf 1996
  3. Altmetric Badge
    Chapter 2 Envoi at Marktoberdorf 1996
  4. Altmetric Badge
    Chapter 3 Heuristics for a very simple Euclidean proof (EWD1180)
  5. Altmetric Badge
    Chapter 4 Complete DAGs (EWD1204)
  6. Altmetric Badge
    Chapter 5 A result of rabbit removal (EWD1208)
  7. Altmetric Badge
    Chapter 6 For the record: painting the squared plane (EWD1212)
  8. Altmetric Badge
    Chapter 7 The marriage agency (EWD1214)
  9. Altmetric Badge
    Chapter 8 Courtesy Dr. Birgit Schieder (EWD1215)
  10. Altmetric Badge
    Chapter 9 WLOG, or the misery of the unordered pair (EWD1223)
  11. Altmetric Badge
    Chapter 10 My simplest theorem (EWD1232)
  12. Altmetric Badge
    Chapter 11 The transitive closure of a wellfounded relation (EWD1241)
  13. Altmetric Badge
    Chapter 12 The formula for sin.(α + β) (EWD1244a)
  14. Altmetric Badge
    Chapter 13 A kind of converse of Leibniz’s Principle (EWD1245)
  15. Altmetric Badge
    Chapter 14 The strengths of the academic enterprise (EWD1175)
  16. Altmetric Badge
    Chapter 15 On a Method for the Formal Design of Multiprograms (AvG140/WF231)
  17. Altmetric Badge
    Chapter 16 Foundations for Calculational Logic
  18. Altmetric Badge
    Chapter 17 Specification and Design of a Transmission Protocol by Successive Refinements Using B 1
  19. Altmetric Badge
    Chapter 18 Formal Derivation of a Protocol in CSP
  20. Altmetric Badge
    Chapter 19 Genesis of Algorithmic Languages
  21. Altmetric Badge
    Chapter 20 Mathematical Methods in System and Software Engineering
  22. Altmetric Badge
    Chapter 21 Unified Theories of Programming
  23. Altmetric Badge
    Chapter 22 On the relationship between classes, objects and data abstraction
  24. Altmetric Badge
    Chapter 23 The Oz Programming Model
  25. Altmetric Badge
    Chapter 24 A Foundation for Higher-order Concurrent Constraint Programming
  26. Altmetric Badge
    Chapter 25 Tool Support for Logics of Programs
  27. Altmetric Badge
    Chapter 26 Machine-Assisted Verification Using Theorem Proving and Model Checking
Attention for Chapter 24: A Foundation for Higher-order Concurrent Constraint Programming
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Foundation for Higher-order Concurrent Constraint Programming
Chapter number 24
Book title
Mathematical Methods in Program Development
Published by
Springer, Berlin, Heidelberg, January 1997
DOI 10.1007/978-3-642-60858-2_24
Book ISBNs
978-3-64-264588-4, 978-3-64-260858-2
Authors

Gert Smolka, Smolka, Gert