Mathematics of Program Construction  8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /  [electronic resource] : 
edited by Tarmo Uustalu. 
 - 1st ed. 2006. 
 - X, 458 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4014  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4014 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540356325 
<br/><br/><label>Standard No.: </label>10.1007/11783596  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Machine theory.<br/>Compilers (Computer programs).<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.<br/>Theory of Computation.<br/>Compilers and Interpreters.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1