↓ 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 14: An Abstract Machine for the Old Value Retrieval
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
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
An Abstract Machine for the Old Value Retrieval
Chapter number 14
Book title
Mathematics of Program Construction
Published by
Springer, Berlin, Heidelberg, June 2010
DOI 10.1007/978-3-642-13321-3_14
Book ISBNs
978-3-64-213320-6, 978-3-64-213321-3
Authors

Piotr Kosiuczenko, Kosiuczenko, Piotr

View on publisher site

This page is provided by Altmetric.