4. MPC 1998: Marstrand, Sweden

@proceedings{DBLP:conf/mpc/1998,
  editor    = {Johan Jeuring},
  title     = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden,
               June 15-17, 1998, Proceedings},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1422},
  year      = {1998},
  isbn      = {3-540-64591-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• David Harel:
  On the Aesthetics of Diagrams (Summary of Talk). 1-5
  Electronic Edition (Springer LINK) BibTeX
• John Hughes:
  Generalising Monads (Abstract). 6 BibTeX
• Burghard von Karger:
  A Proof Rule for Control Loops. 7-22
  Electronic Edition (Springer LINK) BibTeX

Contributed Lectures

• Rudolf Berghammer, Burghard von Karger, Andreas Wolf:
  Relation-Algebraic Derivation of Spanning Tree Algorithms. 23-43
  Electronic Edition (Springer LINK) BibTeX
• A. Bijlsma:
  An Application of Program Derivation Techniques to 18th-Century Mathematics. 44-51
  Electronic Edition (Springer LINK) BibTeX
• Richard S. Bird, Lambert G. L. T. Meertens:
  Nested Datatypes. 52-67
  Electronic Edition (Springer LINK) BibTeX
• Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
  An Approach to Object-Orientation in Action Systems. 68-95
  Electronic Edition (Springer LINK) BibTeX
• Thomas Brunn, Bernhard Möller, Martin Russling:
  Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. 96-121
  Electronic Edition (Springer LINK) BibTeX
• Henning Dierks, Michael Schenke:
  A Unifying Framework for Correct Program Construction. 122-150
  Electronic Edition (Springer LINK) BibTeX
• Rutger M. Dijkstra:
  Computation Calculus - Bridging a Formalization Gap. 151-174
  Electronic Edition (Springer LINK) BibTeX
• W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder:
  An Elementary Derivation of the Alternating Bit Protocol. 175-187
  Electronic Edition (Springer LINK) BibTeX
• Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst:
  A Set-Theoretic Model for Real-Time Specification and Reasoning. 188-206
  Electronic Edition (Springer LINK) BibTeX
• Jeremy Gibbons:
  Polytypic Downwards Accumulations. 207-233
  Electronic Edition (Springer LINK) BibTeX
• Mark B. Josephs:
  Formal Derivation of a Loadable Asynchronous Counter. 234-253
  Electronic Edition (Springer LINK) BibTeX
• K. Rustan M. Leino, Rajeev Joshi:
  A Semantic Approach to Secure Information Flow. 254-271
  Electronic Edition (Springer LINK) BibTeX
• Rajit Manohar, Alain J. Martin:
  Slack Elasticity in Concurrent Computing. 272-285
  Electronic Edition (Springer LINK) BibTeX
• David A. Naumann:
  Beyond Fun: Order and Membership in Polytypic Imperative Programming. 286-314
  Electronic Edition (Springer LINK) BibTeX
• Morten Heine Sørensen:
  Convergence of Program Transformers in the Metric Space of Trees. 315-337
  Electronic Edition (Springer LINK) BibTeX
• Makoto Tatsuta:
  Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis. 338-364
  Electronic Edition (Springer LINK) BibTeX
• Matteo Vaccari, Roland Carl Backhouse:
  Calculating a Round-Robin Scheduler. 365-382
  Electronic Edition (Springer LINK) BibTeX