Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Uustalu, Tarmo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4014
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Computation by Abstract Devices.; Programming Languages, Compilers, Interpreters.

Πίνακας περιεχομένων:

• 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.