The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Robert Giegerich, Peter Steffen
    Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:1-20 [Conf]
  2. Dexter Kozen
    Some Results in Dynamic Model Theory. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:21- [Conf]
  3. Jeannette M. Wing
    Mathematics in Computer Science Curricula. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:22- [Conf]
  4. Kevin Backhouse, Roland Carl Backhouse
    Logical Relations and Galois Connections. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:23-39 [Conf]
  5. Juan Eduardo Durán
    Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:40-67 [Conf]
  6. William Harrison, Tim Sheard, James Hook
    Fine Control of Demand in Haskell. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:68-93 [Conf]
  7. Ian J. Hayes
    Reasoning about Timeouts. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:94-116 [Conf]
  8. Wim H. Hesselink
    Eternity Variables to Simulate Specifications. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:117-130 [Conf]
  9. Ralf Hinze
    Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:131-147 [Conf]
  10. Ralf Hinze, Johan Jeuring, Andres Löh
    Type-Indexed Data Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:148-174 [Conf]
  11. Marieke Huisman
    Verification of Java's AbstractCollection Class: A Case Study. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:175-194 [Conf]
  12. Yanhong A. Liu, Fuxiang Yu
    Solving Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:195-208 [Conf]
  13. Shin-Cheng Mu, Richard S. Bird
    Inverting Functions as Folds. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:209-232 [Conf]
  14. Joakim von Wright
    From Kleene Algebra to Refinement Algebra. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:233-262 [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