3. MPC 1995:
Kloster Irsee, Germany
Krzysztof R. Apt
: Towards Automatic Parallelization of Logic Programs (Abstract).
: Program Construction in Intuitionistic Type Theory (Abstract).
Ali E. Abdallah
: Derivation of Parallel Algorithms from Functional Specifications to CSP Processes.
: An Initial-Algebra Approach to Directed Acyclic Graphs.
: Extracting Programs with Exceptions in an Impredicative Type System.
: Synthesizing Proofs from Programs in the Calculus of Inductive Constructions.
: A General Scheme for Breadth-First Graph Traversal.
: A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers.