03136nam 2200577 a 450 991048338350332120200520144314.03-540-35632-010.1007/11783596(CKB)1000000000236506(SSID)ssj0000318845(PQKBManifestationID)11255717(PQKBTitleCode)TC0000318845(PQKBWorkID)10311325(PQKB)10770894(DE-He213)978-3-540-35632-5(MiAaPQ)EBC3068165(PPN)12313627X(EXLCZ)99100000000023650620060518d2006 uy 0engurnn|008mamaatxtccrMathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /Tarmo Uustalu (ed.)1st ed. 2006.Berlin Springer20061 online resource (X, 458 p.) Lecture notes in computer science,0302-9743 ;4014LNCS sublibrary. SL 1, Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-540-35631-2 Includes bibliographical references and index.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 -- Refinement Algebra with Operators for Enabledness and Termination -- Constructing Rewrite-Based Decision Procedures for Embeddings and Termination -- Quantum Predicative Programming.Lecture notes in computer science ;4014.LNCS sublibrary.SL 1,Theoretical computer science and general issues.MPC 2006Computer programmingCongressesComputer scienceMathematicsCongressesComputer programmingComputer scienceMathematics005.1Uustalu Tarmo1754880MiAaPQMiAaPQMiAaPQBOOK9910483383503321Mathematics of program construction4198195UNINA