J. Michael Spivey

According to our database, J. Michael Spivey authored at least 24 papers between 1985 and 2017.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2017

Faster coroutine pipelines.

J. Michael Spivey

Proc. ACM Program. Lang., 2017

2012

When Maybe is not good enough.

J. Michael Spivey

J. Funct. Program., 2012

2009

Algebras for combinatorial search.

J. Michael Spivey

J. Funct. Program., 2009

2007

On Barron and Strachey's cartesian product function.

Olivier Danvy, J. Michael Spivey

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2004

Fast, accurate call graph profiling.

J. Michael Spivey

Softw. Pract. Exp., 2004

2000

Functional Reading of Logic Programs.

Silvija Seres, J. Michael Spivey

J. Univers. Comput. Sci., 2000

Combinators for breadth-first search.

J. Michael Spivey

J. Funct. Program., 2000

Meeting the Challenge of Object-Oriented Programming.

J. Michael Spivey

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.

Silvija Seres, J. Michael Spivey

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999

Algebra of Logic Programming.

Silvija Seres, J. Michael Spivey, C. A. R. Hoare

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1996

Richer Types for Z.

J. Michael Spivey

Formal Aspects Comput., 1996

The Consistency Theorem for Free Type Definitions in Z.

J. Michael Spivey

Formal Aspects Comput., 1996

An introduction to logic programming through Prolog.

J. Michael Spivey

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-536047-7, 1996

1995

Unification: A Case-Study in Data Refinement.

J. Michael Spivey

Formal Aspects Comput., 1995

1992

Z Notation - a reference manual (2. ed.).

J. Michael Spivey

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-978529-0, 1992

1990

Specifying a Real-Time Kernel.

J. Michael Spivey

IEEE Softw., 1990

A Functional Theory of Exceptions.

J. Michael Spivey

Sci. Comput. Program., 1990

Type Inference in Z.

J. Michael Spivey, Bernard Sufrin

Proceedings of the VDM '90, 1990

1989

An introduction to Z and formal specifications.

J. Michael Spivey

Softw. Eng. J., 1989

A Categorial Approch to the Theory of Lists.

J. Michael Spivey

Proceedings of the Mathematics of Program Construction, 1989

The Z notation - a reference manual.

John Michael Spivey

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).

John Michael Spivey

Cambridge tracts in theoretical computer science 3, Cambridge University Press, ISBN: 978-0-521-33429-7, 1989

1987

Laws of Programming.

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

Commun. ACM, 1987

1985

Understanding Z : A specification language and its formal semantics.

J. Michael Spivey

PhD thesis, 1985