J. Michael Spivey
Affiliations:- University of Oxford, UK
According to our database1,
J. Michael Spivey
authored at least 24 papers
between 1985 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
1
1
1
1
2
2
1
2
1
1
1
2
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2017
2012
2009
2007
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
2004
2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
Higher-order transformation of logic programs.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000
1999
Algebra of Logic Programming.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1996
An introduction to logic programming through Prolog.
Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-536047-7, 1996
1995
1992
Z Notation - a reference manual (2. ed.).
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-978529-0, 1992
1990
1989
Proceedings of the Mathematics of Program Construction, 1989
The Z notation - a reference manual.
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-983768-5, 1989
Understanding Z - a specification language and its formal semantics (reprint).
Cambridge tracts in theoretical computer science 3, Cambridge University Press, ISBN: 978-0-521-33429-7, 1989
1987
1985
PhD thesis, 1985