Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Colección: | Theoretical Computer Science and General Issues,
4014 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.