Recursion and iteration in continuous theories: The "M-construction"
- Stephen L. Bloom
- James W. Thatcher
- et al.
- 1983
- Journal of Computer and System Sciences
Paper
Publications
14 results for J.B. Wright
Parameter passing in algebraic specification languages
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1983
- Theoretical Computer Science
PaperP-varieties - a signature independent characterization of varieties of ordered algebras
- Stephen L. Bloom
- Jesse B. Wright
- 1983
- Journal of Pure and Applied Algebra
PaperData 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)
PaperFinitary quasi-varieties
- Stephen L. Bloom
- Jesse B. Wright
- 1982
- Journal of Pure and Applied Algebra
PaperMore on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
PaperData type specification: Parameterization and the power of specification techniques
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1978
- STOC 1978
Conference paperA uniform approach to inductive posets and inductive closure
- J.B. Wright
- E.G. Wagner
- et al.
- 1978
- Theoretical Computer Science
PaperInitial Algebra Semantics and Continuous Algebras
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1977
- Journal of the ACM
PaperRational algebraic theories and fixed-point solutions
- J.B. Wright
- J.W. Thatcher
- et al.
- 1976
- FOCS 1976
Conference paper