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