Publications

14 results for J.B. Wright

Recursion and iteration in continuous theories: The "M-construction"
- - Stephen L. Bloom
  - James W. Thatcher
  - et al.
- 1983
- Journal of Computer and System Sciences
P-varieties - a signature independent characterization of varieties of ordered algebras
- - Stephen L. Bloom
  - Jesse B. Wright
- 1983
- Journal of Pure and Applied Algebra
Parameter passing in algebraic specification languages
- - Hartmut Ehrig
  - Hans-Jörg Kreowski
  - et al.
- 1983
- Theoretical Computer Science
Data Type Specification: Parameterization and the Power of Specification Techniques
- - J.W. Thatcher
  - E.G. Wagner
  - et al.
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Finitary quasi-varieties
- - Stephen L. Bloom
  - Jesse B. Wright
- 1982
- Journal of Pure and Applied Algebra
More on advice on structuring compilers and proving them correct
- - James W. Thatcher
  - Eric G. Wagner
  - et al.
- 1981
- Theoretical Computer Science
Data type specification: Parameterization and the power of specification techniques
- - James W. Thatcher
  - Eric G. Wagner
  - et al.
- 1978
- STOC 1978
A uniform approach to inductive posets and inductive closure
- - J.B. Wright
  - E.G. Wagner
  - et al.
- 1978
- Theoretical Computer Science
Initial Algebra Semantics and Continuous Algebras
- - J.A. Goguen
  - J.W. Thatcher
  - et al.
- 1977
- Journal of the ACM
Rational algebraic theories and fixed-point solutions
- - J.B. Wright
  - J.W. Thatcher
  - et al.
- 1976
- FOCS 1976