{"product_id":"9783540356318","title":"Mathematics of Program Construction : 8th International Conference, Mpc 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in Compu","description":"\u003cp\u003e§15§ §04§Invited Talks.- What Is a Good Process Semantics?.- Refunctionalization at Work.- Aspects and Data Refinement.- Contributed Papers.- Towards Generic Programming with Sized Types.- Relational Semantics for Higher-Order Programs.- Proofs of Randomized Algorithms in Coq.- Exercises in Quantifier Manipulation.- Improving Saddleback Search: A Lesson in Algorithm Design.- Loopless Functional Algorithms.- Compositional Reasoning for Pointer Structures.- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.- Fission for Program Comprehension.- \"Scrap Your Boilerplate\" Revolutions.- Generic Views on Data Types.- Recursion Schemes for Dynamic Programming.- Bimonadic Semantics for Basic Pattern Matching Calculi.- Nondeterministic Folds.- A Datastructure for Iterated Powers.- Continuous Action System Refinement.- The Linear Algebra of UTP.- The Shadow Knows: Refinement of Ignorance in Sequential Programs.- Swapping Arguments and Results of Recursive Functions.- Refi §04§nement Algebra with Operators for Enabledness and Termination.- Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.- Quantum Predicative Programming.\u003c\/p\u003e","brand":"Springer-Verlag New York Inc","offers":[{"title":"Default Title","offer_id":49166913568995,"sku":"00000_00000_00000_00000","price":84.0,"currency_code":"USD","in_stock":false}],"url":"https:\/\/usa.kinokuniya.com\/products\/9783540356318","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}