The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. Michael Spivey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. J. Michael Spivey, Bernard Sufrin
    Type Inference in Z. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:426-451 [Conf]
  2. Silvija Seres, J. Michael Spivey, C. A. R. Hoare
    Algebra of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:184-199 [Conf]
  3. Silvija Seres, J. Michael Spivey
    Higher-order transformation of logic programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  4. Silvija Seres, J. Michael Spivey
    Higher-Order Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:57-68 [Conf]
  5. J. Michael Spivey
    A Categorial Approch to the Theory of Lists. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:399-408 [Conf]
  6. J. Michael Spivey
    Meeting the Challenge of Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:1- [Conf]
  7. C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
    Laws of Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:8, pp:672-686 [Journal]
  8. J. Michael Spivey
    Unification: A Case-Study in Data Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:2, pp:150-168 [Journal]
  9. J. Michael Spivey
    The Consistency Theorem for Free Type Definitions in Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:369-375 [Journal]
  10. J. Michael Spivey
    Richer Types for Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:565-584 [Journal]
  11. J. Michael Spivey
    Combinators for breadth-first search. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:4, pp:397-408 [Journal]
  12. Silvija Seres, J. Michael Spivey
    Functional Reading of Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:4, pp:433-446 [Journal]
  13. J. Michael Spivey
    A Functional Theory of Exceptions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:1, pp:25-42 [Journal]
  14. J. Michael Spivey
    Specifying a Real-Time Kernel. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1990, v:7, n:5, pp:21-28 [Journal]
  15. J. Michael Spivey
    Fast, accurate call graph profiling. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:3, pp:249-264 [Journal]
  16. Olivier Danvy, J. Michael Spivey
    On Barron and Strachey's cartesian product function. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:41-46 [Conf]

Search in 0.004secs, Finished in 0.004secs
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