The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Mark P. Jones
    Integrating Programming, Properties, and Validation. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:1- [Conf]
  2. Ralf Hinze
    Polytypic Values Possess Polykinded Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:2-27 [Conf]
  3. Mark Tullsen
    The Zip Calculus. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:28-44 [Conf]
  4. Ernie Cohen
    Separation and Reduction. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:45-59 [Conf]
  5. Ian J. Hayes
    Reasoning about Non-terminating Loops Using Deadline Commands. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:60-79 [Conf]
  6. Jeff W. Sanders, Paolo Zuliani
    Quantum Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:80-99 [Conf]
  7. Jan J. M. M. Rutten
    Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:100-101 [Conf]
  8. Richard Bornat
    Proving Pointer Programs in Hoare Logic. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:102-126 [Conf]
  9. Emil Sekerinski
    On Guarded Commands with Fair Choice. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:127-139 [Conf]
  10. Cliff B. Jones
    Formal Methods and Dependability. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:140-143 [Conf]
  11. Eerke A. Boiten, John Derrick
    Liberating Data Refinement. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:144-166 [Conf]
  12. Michel Charpentier, K. Mani Chandy
    Theorems about Composition. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:167-186 [Conf]
  13. Sergei M. Abramov, Robert Glück
    The Universal Resolving Algorithm: Inverse Computation in a Functional Language. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:187-212 [Conf]
  14. William L. Harrison, Samuel N. Kamin
    Metacomputation-Based Compiler Architecture. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:213-229 [Conf]
  15. Andrew M. Pitts, Murdoch Gabbay
    A Metalanguage for Programming with Bound Names Modulo Renaming. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:230-255 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002