Jesse B. Wright

According to our database, Jesse B. Wright authored at least 19 papers between 1958 and 1983.

Collaborative distances:

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

1983

Recursion and Iteration in Continuous Theories: The "M-Construction".

Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

J. Comput. Syst. Sci., 1983

1981

Parameter Passing in Algebraic Specification Languages.

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the Program Specification, 1981

1980

Vector Iteration in Pointed Iterative Theories.

Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright

SIAM J. Comput., 1980

Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation.

Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright

SIAM J. Comput., 1980

Parameterized Data Types in Algebraic Specification Languages (Short Version).

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the Automata, 1980

More on advice on structuring compilers and proving them correct.

James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the Semantics-Directed Compiler Generation, 1980

1978

Data Type Specification: Parameterization and the Power of Specification Techniques

James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978

Programming Languages as Mathematical Objects.

Eric G. Wagner, James W. Thatcher, Jesse B. Wright

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

Initial Algebra Semantics and Continuous Algebras.

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

J. ACM, 1977

A Uniform Approach to Inductive Posets and Inductive Closure.

Jesse B. Wright, Eric G. Wagner, James W. Thatcher

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

Some Fundamentals of Order-Algebraic Semantics.

Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Rational Algebraic Theories and Fixed-Point Solutions

Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1974

Factorizations, Congruences, and the Decomposition of Automata and Systems.

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the Mathematical Foundations of Computer Science, 1974

1972

Characterization of Recursively Enumerable Sets.

Jesse B. Wright

J. Symb. Log., 1972

1968

Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic.

James W. Thatcher, Jesse B. Wright

Math. Syst. Theory, 1968

1967

Automata in General Algebras

Samuel Eilenberg, Jesse B. Wright

Inf. Control., October, 1967

Algebraic Automata and Context-Free Sets

Jorge E. Mezei, Jesse B. Wright

Inf. Control., 1967

1962

Sequence Generators, Graphs, and Formal Languages

Arthur W. Burks, Jesse B. Wright

Inf. Control., September, 1962

1958

Realization of Events by Logical Nets.

Irving M. Copi, Calvin C. Elgot, Jesse B. Wright

J. ACM, 1958