default search action

combined dblp search
author search
venue search
publication search

ask others

5th MPC 2000: Ponte de Lima, Portugal

> 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/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2000
Roland Carl Backhouse, José Nuno Oliveira:
Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Lecture Notes in Computer Science 1837, Springer 2000, ISBN 3-540-67727-5
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Jones00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Jones00
Mark P. Jones:
Integrating Programming, Properties, and Validation. 1
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hinze00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hinze00
Ralf Hinze:
Polytypic Values Possess Polykinded Types. 2-27
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Tullsen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Tullsen00
Mark Tullsen:
The Zip Calculus. 28-44
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Cohen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Cohen00
Ernie Cohen:
Separation and Reduction. 45-59
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hayes00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hayes00
Ian J. Hayes:
Reasoning about Non-terminating Loops Using Deadline Commands. 60-79
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SandersZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SandersZ00
Jeff W. Sanders, Paolo Zuliani:
Quantum Programming. 80-99
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Rutten00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Rutten00
Jan J. M. M. Rutten:
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. 100-101
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Bornat00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Bornat00
Richard Bornat:
Proving Pointer Programs in Hoare Logic. 102-126
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Sekerinski00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Sekerinski00
Emil Sekerinski:
On Guarded Commands with Fair Choice. 127-139
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Jones00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Jones00a
Cliff B. Jones:
Formal Methods and Dependability. 140-143
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BoitenD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BoitenD00
Eerke A. Boiten, John Derrick:
Liberating Data Refinement. 144-166
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/CharpentierC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/CharpentierC00
Michel Charpentier, K. Mani Chandy:
Theorems about Composition. 167-186
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AbramovG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AbramovG00
Sergei M. Abramov, Robert Glück:
The Universal Resolving Algorithm: Inverse Computation in a Functional Language. 187-212
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HarrisonK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HarrisonK00
William L. Harrison, Samuel N. Kamin:
Metacomputation-Based Compiler Architecture. 213-229
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/PittsG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/PittsG00
Andrew M. Pitts, Murdoch Gabbay:
A Metalanguage for Programming with Bound Names Modulo Renaming. 230-255

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.