Conferences in DBLP

Mathematics of Program Construction (MPC) (mpc)
1992 (conf/mpc/1992)

1. Rod M. Burstall
   Extended Calculus of Constructions as a Specification Language (Abstract). [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:1- [Conf]
   
2. Edsger W. Dijkstra
   On the Economy of doing Mathematics. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:2-10 [Conf]
   
3. John Hughes
   Pretty-printing: An Exercise in Functional Programming. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:11-13 [Conf]
   
4. Ugo Montanari
   True Concurrency: Theory and Practice. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:14-17 [Conf]
   
5. Wladyslaw M. Turski
   Programming for Behaviour. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:18-31 [Conf]
   
6. Roland Carl Backhouse, A. J. M. van Gasteren
   Calculating a Path Algorithm. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:32-44 [Conf]
   
7. Richard S. Bird, Oege de Moor
   Solving Optimisation Problems with Catamorphism. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:45-66 [Conf]
   
8. S. M. Brien
   A Time-Interval Calculus. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:67-79 [Conf]
   
9. J. P. H. W. van den Eijnde
   Conservative Fixpoint Functions on a Graph. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:80-99 [Conf]
   
10. Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
    An Algebraic Construction of Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:100-121 [Conf]
    
11. Jeremy Gibbons
    Upwards and Downwards Accumulations on Trees. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:122-138 [Conf]
    
12. H. Peter Hofstee
    Distributing a Class of Sequential Programs. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:139-162 [Conf]
    
13. Paul F. Hoogendijk
    (Relational) Programming Laws in the Boom Hierarchy of Types. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:163-190 [Conf]
    
14. Rob R. Hoogerwoord
    A Logarithmic Implementation of Flexible Arrays. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:191-207 [Conf]
    
15. Geraint Jones, Mary Sheeran
    Designing Arithmetic Circuits by Refinement in Ruby. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:208-232 [Conf]
    
16. Johan J. Lukkien
    An Operational Semantics for the Guarded Command Language. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:233-249 [Conf]
    
17. Bernhard Möller, Martin Russling
    Shorter Paths to Graph Algorithms. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:250-268 [Conf]
    
18. Theodore S. Norvell, Eric C. R. Hehner
    Logical Specifications for Functional Programs. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:269-290 [Conf]
    
19. Berry Schoenmakers
    Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:291-301 [Conf]
    
20. Emil Sekerinski
    A Calculus for Predicative Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:302-322 [Conf]
    
21. Yellamraju V. Srinivas
    Derivation of a Parallel Matching Algorithm. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:323-343 [Conf]
    
22. Mark Utting, Ken Robinson
    Modular Reasoning in an Object-Oriented Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:344-367 [Conf]
    
23. Lex Augusteijn
    An Alternative Derivation of a Binary Heap Construction Function. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:368-374 [Conf]
    
24. Rob R. Hoogerwoord
    A Derivation of Huffman's Algorithm. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:375-378 [Conf]