3. MPC 1995: Kloster Irsee, Germany

Bernhard Möller (Ed.): Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Lecture Notes in Computer Science 947 Springer 1995, ISBN 3-540-60117-1 BibTeX

@proceedings{DBLP:conf/mpc/1995,
  editor    = {Bernhard M{\"o}ller},
  title     = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
               July 17-21, 1995, Proceedings},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {947},
  year      = {1995},
  isbn      = {3-540-60117-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Krzysztof R. Apt: Towards Automatic Parallelization of Logic Programs (Abstract). 1 BibTeX
Richard S. Bird: Functional Algorithm Design. 2-17 BibTeX
Manfred Broy: Mathematics of Software Engineering. 18-48 BibTeX
Thierry Coquand: Program Construction in Intuitionistic Type Theory (Abstract). 49 BibTeX
Natarajan Shankar: Computer-Aided Computing. 50-66 BibTeX

Contributed Lectures

Ali E. Abdallah: Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. 67-96 BibTeX
Klaus Achatz, Wolfram Schulte: Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. 97-127 BibTeX
Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. 128-158 BibTeX
Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. 159-179 BibTeX
Rudolf Berghammer, Burghard von Karger: Formal Derivation of CSP Programs From Temporal Specifications. 181-196 BibTeX
Frank S. de Boer, M. van Hulst: A Compositional Proof System for Asynchronously Communicating Processes. 197-213 BibTeX
Sharon Curtis, Gavin Lowe: A Graphical Calculus. 214-231 BibTeX
Victor J. Dielissen, Anne Kaldewaij: A Simple, Efficient, and Flexible Implementation of Flexible Arrays. 232-241 BibTeX
Henk Doornbos, Roland Carl Backhouse: Induction and Recursion on Datatypes. 242-256 BibTeX
Marc Frappier, Ali Mili, Jules Desharnais: Program Construction by Parts. 257-281 BibTeX
Jeremy Gibbons: An Initial-Algebra Approach to Directed Acyclic Graphs. 282-303 BibTeX
Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding: Algebraic Proof Assistants in HOL. 304-321 BibTeX
Wim H. Hesselink: Angelic Termination in Dijkstra`s Calculus. 322-334 BibTeX
Jean-François Monin: Extracting Programs with Exceptions in an Impredicative Type System. 335-350 BibTeX
Catherine Parent: Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. 351-379 BibTeX
Martin Russling: A General Scheme for Breadth-First Graph Traversal. 380-398 BibTeX
Yellamraju V. Srinivas, Richard Jüllig: Specware: Formal Support for Composing Software. 399-422 BibTeX
Ketil Stølen: A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers. 423-451 BibTeX
Rob T. Udink, Joost N. Kok: ImpUNITY: UNITY with Procedures and Local Variables. 452-472 BibTeX