↓ Skip to main content
What is this page? Embed badge

Mathematics of Program Construction

Overview of attention for book
Cover of 'Mathematics of Program Construction'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Algorithmics of Solitaire-Like Games
  3. Altmetric Badge
    Chapter 2 Compositionality of Secure Information Flow
  4. Altmetric Badge
    Chapter 3 Process Algebras for Collective Dynamics
  5. Altmetric Badge
    Chapter 4 On Automated Program Construction and Verification
  6. Altmetric Badge
    Chapter 5 The Logic of Large Enough
  7. Altmetric Badge
    Chapter 6 Dependently Typed Grammars
  8. Altmetric Badge
    Chapter 7 Abstraction of Object Graphs in Program Verification
  9. Altmetric Badge
    Chapter 8 Subtyping, Declaratively
  10. Altmetric Badge
    Chapter 9 Mathematics of Program Construction
  11. Altmetric Badge
    Chapter 10 Designing an Algorithmic Proof of the Two-Squares Theorem
  12. Altmetric Badge
    Chapter 11 Partial, Total and General Correctness
  13. Altmetric Badge
    Chapter 12 Mathematics of Program Construction
  14. Altmetric Badge
    Chapter 13 Adjoint Folds and Unfolds
  15. Altmetric Badge
    Chapter 14 An Abstract Machine for the Old Value Retrieval
  16. Altmetric Badge
    Chapter 15 A Tracking Semantics for CSP
  17. Altmetric Badge
    Chapter 16 Matrices as Arrows!
  18. Altmetric Badge
    Chapter 17 Lucy-n: a n-Synchronous Extension of Lustre
  19. Altmetric Badge
    Chapter 18 Sampling, Splitting and Merging in Coinductive Stream Calculus
  20. Altmetric Badge
    Chapter 19 Generic Point-free Lenses
  21. Altmetric Badge
    Chapter 20 Formal Derivation of Concurrent Garbage Collectors
  22. Altmetric Badge
    Chapter 21 Temporal Logic Verification of Lock-Freedom
  23. Altmetric Badge
    Chapter 22 Gradual Refinement
Attention for Chapter 12: Mathematics of Program Construction
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 Mendeley
citeulike
1 CiteULike
Summary Dimensions citations
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
Mathematics of Program Construction
Chapter number 12
Book title
Mathematics of Program Construction
Published in
Lecture notes in computer science, January 2010
DOI 10.1007/978-3-642-13321-3_12
Book ISBNs
978-3-64-213320-6, 978-3-64-213321-3
Authors

Claude Bolduc, Jules Desharnais, Béchir Ktari, Ian J. Hayes, Steve E. Dunne, Larissa Meinicke, Hayes, Ian J., Dunne, Steve E., Meinicke, Larissa

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.