Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

J. Michael Spivey

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Spivey12
- ask others
J. Michael Spivey: When Maybe is not good enough. J. Funct. Program. 22(6): 747-756 (2012)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Spivey09
- ask others
J. Michael Spivey: Algebras for combinatorial search. J. Funct. Program. 19(3-4): 469-487 (2009)
2007
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/DanvyS07
- ask others
Olivier Danvy, J. Michael Spivey: On Barron and Strachey's cartesian product function. ICFP 2007: 41-46
2004
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/spe/Spivey04
- ask others
J. Michael Spivey: Fast, accurate call graph profiling. Softw., Pract. Exper. 34(3): 249-264 (2004)
2000
[j8]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Spivey00
- ask others
J. Michael Spivey: Combinators for breadth-first search. J. Funct. Program. 10(4): 397-408 (2000)
[j7]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/SeresS99
- ask others
Silvija Seres, J. Michael Spivey: Functional Reading of Logic Programs. J. UCS 6(4): 433-446 (2000)
[c6]
- view
  - electronic edition @ ac.uk
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/SeresS00
- ask others
Silvija Seres, J. Michael Spivey: Higher-order transformation of logic programs. LOPSTR 2000
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/SeresS00a
- ask others
Silvija Seres, J. Michael Spivey: Higher-Order Transformation of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) 2000: 57-68
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Spivey00
- ask others
J. Michael Spivey: Meeting the Challenge of Object-Oriented Programming. ZB 2000: 1

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/SeresSH99
- ask others
Silvija Seres, J. Michael Spivey, C. A. R. Hoare: Algebra of Logic Programming. ICLP 1999: 184-199
1996
[b2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0080784
- ask others
J. Michael Spivey: An introduction to logic programming through Prolog. Prentice Hall International series in computer science, Prentice Hall 1996, ISBN 978-0-13-536047-7, pp. I-X, 1-251
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Spivey96
- ask others
J. Michael Spivey: The Consistency Theorem for Free Type Definitions in Z. Formal Asp. Comput. 8(3): 369-375 (1996)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Spivey96a
- ask others
J. Michael Spivey: Richer Types for Z. Formal Asp. Comput. 8(5): 565-584 (1996)
1995
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Spivey95
- ask others
J. Michael Spivey: Unification: A Case-Study in Data Refinement. Formal Asp. Comput. 7(2): 150-168 (1995)
1992
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0068766
- ask others
J. Michael Spivey: Z Notation - a reference manual (2. ed.). Prentice Hall International Series in Computer Science, Prentice Hall 1992, ISBN 978-0-13-978529-0, pp. I-XI, 1-158
1990
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/Spivey90
- ask others
J. Michael Spivey: A Functional Theory of Exceptions. Sci. Comput. Program. 14(1): 25-42 (1990)
[j2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/software/Spivey90
- ask others
J. Michael Spivey: Specifying a Real-Time Kernel. IEEE Software 7(5): 21-28 (1990)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/SpiveyS90
- ask others
J. Michael Spivey, Bernard Sufrin: Type Inference in Z. VDM Europe 1990: 426-451

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/Spivey89
- ask others
J. Michael Spivey: A Categorial Approch to the Theory of Lists. MPC 1989: 399-408
1987
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/HoareHJMRSSSS87
- ask others
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. Commun. ACM 30(8): 672-686 (1987)