LEADER 04194nam  22007455  450 
001 9910483383503321
005 20251226203200.0
010   $a3-540-35632-0
024 7 $a10.1007/11783596
035   $a(CKB)1000000000236506
035   $a(SSID)ssj0000318845
035   $a(PQKBManifestationID)11255717
035   $a(PQKBTitleCode)TC0000318845
035   $a(PQKBWorkID)10311325
035   $a(PQKB)10770894
035   $a(DE-He213)978-3-540-35632-5
035   $a(MiAaPQ)EBC3068165
035   $a(PPN)12313627X
035   $a(BIP)34164128
035   $a(BIP)13513392
035   $a(EXLCZ)991000000000236506
100   $a20110215d2006      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMathematics of Program Construction $e8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /$fedited by Tarmo Uustalu
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 458 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4014
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-35631-2 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
330   $aThis book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4014
606   $aSoftware engineering
606   $aComputer science
606   $aMachine theory
606   $aCompilers (Computer programs)
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aCompilers and Interpreters
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aCompilers (Computer programs).
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aCompilers and Interpreters.
676   $a005.1
701   $aUustalu$b Tarmo$01754880
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483383503321
996   $aMathematics of program construction$94198195
997   $aUNINA