Jesse B. Wright

24 papers A* 4B 4Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
1984 J jnl
Parameter Passing in Algebraic Specification Languages.
Theor. Comput. Sci.
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1983 J jnl
Recursion and Iteration in Continuous Theories: The "M-Construction".
J. Comput. Syst. Sci.
Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1982 J jnl
Data Type Specification: Parameterization and the Power of Specification Techniques.
ACM Trans. Program. Lang. Syst.
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981 J jnl
More on Advice on Structuring Compilers and Proving them Correct.
Theor. Comput. Sci.
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981 — conf
Parameter Passing in Algebraic Specification Languages.
Program Specification
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980 — conf
More on advice on structuring compilers and proving them correct.
Semantics-Directed Compiler Generation
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980 A* conf
Parameterized Data Types in Algebraic Specification Languages (Short Version).
ICALP
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980 J jnl
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation.
SIAM J. Comput.
Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
1980 J jnl
Vector Iteration in Pointed Iterative Theories.
SIAM J. Comput.
Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
1979 A* conf
More on Advice on Structuring Compilers and Proving Them Correct.
ICALP
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1978 J jnl
A Uniform Approach to Inductive Posets and Inductive Closure.
Theor. Comput. Sci.
Jesse B. Wright, Eric G. Wagner, James W. Thatcher
1978 A* conf
Data Type Specification: Parameterization and the Power of Specification Techniques
STOC
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1978 B conf
Programming Languages as Mathematical Objects.
MFCS
Eric G. Wagner, James W. Thatcher, Jesse B. Wright
1977 B conf
A Uniform Approach to Inductive Posets and Inductive Closure.
MFCS
Jesse B. Wright, Eric G. Wagner, James W. Thatcher
1977 J jnl
Initial Algebra Semantics and Continuous Algebras.
J. ACM
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1976 A* conf
Rational Algebraic Theories and Fixed-Point Solutions
FOCS
Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
1976 B conf
Some Fundamentals of Order-Algebraic Semantics.
MFCS
Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
1974 B conf
Factorizations, Congruences, and the Decomposition of Automata and Systems.
MFCS
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1972 J jnl
Characterization of Recursively Enumerable Sets.
J. Symb. Log.
Jesse B. Wright
1968 J jnl
Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic.
Math. Syst. Theory
James W. Thatcher, Jesse B. Wright
1967 J jnl
Algebraic Automata and Context-Free Sets
Inf. Control.
Jorge E. Mezei, Jesse B. Wright
1967 J jnl
Automata in General Algebras
Inf. Control.
Samuel Eilenberg, Jesse B. Wright
1962 J jnl
Sequence Generators, Graphs, and Formal Languages
Inf. Control.
Arthur W. Burks, Jesse B. Wright
1958 J jnl
Realization of Events by Logical Nets.
J. ACM
Irving M. Copi, Calvin C. Elgot, Jesse B. Wright