default search action

combined dblp search
author search
venue search
publication search

ask others

8th MPC 2006: Kuressaare, Estonia

> Home > Conferences and Workshops > MPC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2006
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

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Cockett06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Cockett06
J. Robin B. Cockett:
What Is a Good Process Semantics? 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Danvy06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Danvy06
Olivier Danvy:
Refunctionalization at Work. 4
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AvgustinovBHMOSST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AvgustinovBHMOSST06
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

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Abel06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Abel06
Andreas Abel:
Towards Generic Programming with Sized Types. 10-28
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Aboul-HosnK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Aboul-HosnK06
Kamal Aboul-Hosn, Dexter Kozen:
Relational Semantics for Higher-Order Programs. 29-48
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AudebaudP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AudebaudP06
Philippe Audebaud, Christine Paulin-Mohring:
Proofs of Randomized Algorithms in Coq. 49-68
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BackhouseM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BackhouseM06
Roland Carl Backhouse, Diethard Michaelis:
Exercises in Quantifier Manipulation. 69-81
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Bird06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Bird06
Richard S. Bird:
Improving Saddleback Search: A Lesson in Algorithm Design. 82-89
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Bird06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Bird06a
Richard S. Bird:
Loopless Functional Algorithms. 90-114
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/ChenS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/ChenS06
Yifeng Chen, Jeff W. Sanders:
Compositional Reasoning for Pointer Structures. 115-139
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DongolM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DongolM06
Brijesh Dongol, Arjan J. Mooij:
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. 140-161
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Gibbons06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Gibbons06
Jeremy Gibbons:
Fission for Program Comprehension. 162-179
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HinzeL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HinzeL06
Ralf Hinze, Andres Löh:
"Scrap Your Boilerplate" Revolutions. 180-208
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HoldermansJLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HoldermansJLR06
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez:
Generic Views on Data Types. 209-234
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/KabanovV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/KabanovV06
Jevgeni Kabanov, Varmo Vene:
Recursion Schemes for Dynamic Programming. 235-252
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/KahlCJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/KahlCJ06
Wolfram Kahl, Jacques Carette, Xiaoheng Ji:
Bimonadic Semantics for Basic Pattern Matching Calculi. 253-273
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MartinC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MartinC06
Clare E. Martin, Sharon A. Curtis:
Nondeterministic Folds. 274-298
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Matthes06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Matthes06
Ralph Matthes:
A Datastructure for Iterated Powers. 299-315
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MeinickeH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MeinickeH06
Larissa Meinicke, Ian J. Hayes:
Continuous Action System Refinement. 316-337
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Moller06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Moller06
Bernhard Möller:
The Linear Algebra of UTP. 338-358
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Morgan06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Morgan06
Carroll Morgan:
The Shadow Knows: Refinement of Ignorance in Sequential Programs. 359-378
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MorihataKHT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MorihataKHT06
Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Swapping Arguments and Results of Recursive Functions. 379-396
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SolinW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SolinW06
Kim Solin, Joakim von Wright:
Refinement Algebra with Operators for Enabledness and Termination. 397-415
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Struth06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Struth06
Georg Struth:
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. 416-432
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/TafliovichH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/TafliovichH06
Anya Tafliovich, Eric C. R. Hehner:
Quantum Predicative Programming. 433-454

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.