J. Michael Spivey

25 papers A 1B 2C 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2017 J jnl
Faster coroutine pipelines.
Proc. ACM Program. Lang.
J. Michael Spivey
2012 J jnl
When Maybe is not good enough.
J. Funct. Program.
J. Michael Spivey
2009 J jnl
Algebras for combinatorial search.
J. Funct. Program.
J. Michael Spivey
2007 A conf
On Barron and Strachey's cartesian product function.
ICFP
Olivier Danvy, J. Michael Spivey
2006 — conf
Algebras for Combinatorial Search.
MSFP@MPC
J. Michael Spivey
2004 J jnl
Fast, accurate call graph profiling.
Softw. Pract. Exp.
J. Michael Spivey
2000 J jnl
Combinators for breadth-first search.
J. Funct. Program.
J. Michael Spivey
2000 J jnl
Functional Reading of Logic Programs.
J. Univers. Comput. Sci.
Silvija Seres, J. Michael Spivey
2000 — conf
Higher-Order Transformation of Logic Programs.
LOPSTR (LNCS 2042: Selected Papers)
Silvija Seres, J. Michael Spivey
2000 C conf
Higher-order transformation of logic programs.
LOPSTR
Silvija Seres, J. Michael Spivey
2000 — conf
Meeting the Challenge of Object-Oriented Programming.
ZB
J. Michael Spivey
1999 B conf
Algebra of Logic Programming.
ICLP
Silvija Seres, J. Michael Spivey, C. A. R. Hoare
1996 — book
An introduction to logic programming through Prolog.
J. Michael Spivey
1996 J jnl
Richer Types for Z.
Formal Aspects Comput.
J. Michael Spivey
1996 J jnl
The Consistency Theorem for Free Type Definitions in Z.
Formal Aspects Comput.
J. Michael Spivey
1995 J jnl
Unification: A Case-Study in Data Refinement.
Formal Aspects Comput.
J. Michael Spivey
1992 — book
Z Notation - a reference manual (2. ed.).
J. Michael Spivey
1990 J jnl
A Functional Theory of Exceptions.
Sci. Comput. Program.
J. Michael Spivey
1990 J jnl
Specifying a Real-Time Kernel.
IEEE Softw.
J. Michael Spivey
1990 — conf
Type Inference in Z.
VDM Europe
J. Michael Spivey, Bernard Sufrin
1989 B conf
A Categorial Approch to the Theory of Lists.
MPC
J. Michael Spivey
1989 J jnl
An introduction to Z and formal specifications.
Softw. Eng. J.
J. Michael Spivey
1989 — conf
Type Inference in Z.
Z User Workshop
J. Michael Spivey, Bernard Sufrin
1987 J jnl
Laws of Programming.
Commun. ACM
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
1985 — —
Understanding Z : A specification language and its formal semantics.
J. Michael Spivey