The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Greg Nelson
    Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:1- [Conf]
  2. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
    Constructing Polymorphic Programs with Quotient Types. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:2-15 [Conf]
  3. Artem Alimarine, Sjaak Smetsers
    Optimizing Generic Functions. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:16-31 [Conf]
  4. Frank Atanassow, Johan Jeuring
    Inferring Type Isomorphisms Generically. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:32-53 [Conf]
  5. Michael Barnett, David A. Naumann
    Friends Need a Bit More: Maintaining Invariants Over Shared State. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:54-84 [Conf]
  6. Nils Anders Danielsson, Patrik Jansson
    Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:85-109 [Conf]
  7. Therrezinha Fernandes, Jules Desharnais
    Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:110-128 [Conf]
  8. Hitoshi Furusawa
    A Free Construction of Kleene Algebras with Tests. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:129-141 [Conf]
  9. Jeremy Gibbons
    Streaming Representation-Changers. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:142-168 [Conf]
  10. Eric C. R. Hehner
    Probabilistic Predicative Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:169-185 [Conf]
  11. Ralf Hinze
    An Algebra of Scans. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:186-210 [Conf]
  12. Graham Hutton, Joel Wright
    Compiling Exceptions Correctly. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:211-227 [Conf]
  13. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
    Modelling Nondeterminism. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:228-251 [Conf]
  14. Bernhard Möller
    Lazy Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:252-273 [Conf]
  15. Joseph M. Morris
    Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:274-288 [Conf]
  16. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    An Injective Language for Reversible Computation. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:289-313 [Conf]
  17. Ulf Norell, Patrik Jansson
    Prototyping Generic Programming in Template Haskell. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:314-333 [Conf]
  18. José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues
    Transposing Relations: From Maybe Functions to Hash Tables. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:334-356 [Conf]
  19. Birgit Schieder
    Pointer Theory and Weakest Preconditions without Addresses and Heap. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:357-380 [Conf]
  20. Xinbei Tang, Jim Woodcock
    Travelling Processes. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:381-399 [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