default search action

combined dblp search
author search
venue search
publication search

ask others

6th MPC 2002: Dagstuhl, Germany

> Home > Conferences and Workshops > MPC
> Home > Conferences and Workshops > Dagstuhl

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/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2002
Eerke A. Boiten, Bernhard Möller:
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2386, Springer 2002, ISBN 3-540-43857-2

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/GiegerichS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/GiegerichS02
Robert Giegerich, Peter Steffen:
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Kozen02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Kozen02
Dexter Kozen:
Some Results in Dynamic Model Theory. 21
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Wing02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Wing02
Jeannette M. Wing:
Mathematics in Computer Science Curricula. 22

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BackhouseB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BackhouseB02
Kevin Backhouse, Roland Carl Backhouse:
Logical Relations and Galois Connections. 23-39
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Duran02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Duran02
Juan Eduardo Durán:
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. 40-67
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HarrisonSH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HarrisonSH02
William L. Harrison, Tim Sheard, James Hook:
Fine Control of Demand in Haskell. 68-93
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hayes02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hayes02
Ian J. Hayes:
Reasoning about Timeouts. 94-116
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hesselink02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hesselink02
Wim H. Hesselink:
Eternity Variables to Simulate Specifications. 117-130
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hinze02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hinze02
Ralf Hinze:
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. 131-147
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HinzeJL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HinzeJL02
Ralf Hinze, Johan Jeuring, Andres Löh:
Type-Indexed Data Types. 148-174
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Huisman02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Huisman02
Marieke Huisman:
Verification of Java's AbstractCollection Class: A Case Study. 175-194
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/LiuY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/LiuY02
Yanhong A. Liu, Fuxiang Yu:
Solving Regular Path Queries. 195-208
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MuB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MuB02
Shin-Cheng Mu, Richard S. Bird:
Inverting Functions as Folds. 209-232
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Wright02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Wright02
Joakim von Wright:
From Kleene Algebra to Refinement Algebra. 233-262

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.