Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th MPC 2006: Kuressaare, Estonia
- Tarmo Uustalu
:
Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Lecture Notes in Computer Science 4014, Springer 2006, ISBN 3-540-35631-2
Invited Talks
- J. Robin B. Cockett:
What Is a Good Process Semantics? 1-3 - Olivier Danvy:
Refunctionalization at Work. 4 - Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
Aspects and Data Refinement. 5-9
Contributed Papers
- Andreas Abel:
Towards Generic Programming with Sized Types. 10-28 - Kamal Aboul-Hosn, Dexter Kozen:
Relational Semantics for Higher-Order Programs. 29-48 - Philippe Audebaud, Christine Paulin-Mohring:
Proofs of Randomized Algorithms in Coq. 49-68 - Roland Carl Backhouse, Diethard Michaelis:
Exercises in Quantifier Manipulation. 69-81 - Richard S. Bird:
Improving Saddleback Search: A Lesson in Algorithm Design. 82-89 - Richard S. Bird:
Loopless Functional Algorithms. 90-114 - Yifeng Chen, Jeff W. Sanders:
Compositional Reasoning for Pointer Structures. 115-139 - Brijesh Dongol, Arjan J. Mooij:
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. 140-161 - Jeremy Gibbons:
Fission for Program Comprehension. 162-179 - Ralf Hinze, Andres Löh:
"Scrap Your Boilerplate" Revolutions. 180-208 - Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez:
Generic Views on Data Types. 209-234 - Jevgeni Kabanov, Varmo Vene:
Recursion Schemes for Dynamic Programming. 235-252 - Wolfram Kahl, Jacques Carette, Xiaoheng Ji:
Bimonadic Semantics for Basic Pattern Matching Calculi. 253-273 - Clare E. Martin, Sharon A. Curtis:
Nondeterministic Folds. 274-298 - Ralph Matthes:
A Datastructure for Iterated Powers. 299-315 - Larissa Meinicke, Ian J. Hayes:
Continuous Action System Refinement. 316-337 - Bernhard Möller:
The Linear Algebra of UTP. 338-358 - Carroll Morgan:
The Shadow Knows: Refinement of Ignorance in Sequential Programs. 359-378 - Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Swapping Arguments and Results of Recursive Functions. 379-396 - Kim Solin, Joakim von Wright:
Refinement Algebra with Operators for Enabledness and Termination. 397-415 - Georg Struth:
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. 416-432 - Anya Tafliovich, Eric C. R. Hehner:
Quantum Predicative Programming. 433-454
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
