James W. Thatcher

According to our database, James W. Thatcher authored at least 25 papers between 1966 and 2005.

Collaborative distances:

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

2005

Managing usability for people with disabilities in a large Web presence.

Matthew King, James W. Thatcher, Philip Matthew Bronstad, Robert Easton

IBM Syst. J., 2005

1989

Language Constructs for Specifying Concurrency in CDL*.

R. K. Shyamasundar, James W. Thatcher

IEEE Trans. Software Eng., 1989

1987

Algebraic Semantics (Abstract).

James W. Thatcher

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1984

Parameter Passing in Algebraic Specification Languages.

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

Theor. Comput. Sci., 1984

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

Algebraic Specifications with Generating Constraints.

Hartmut Ehrig, Eric G. Wagner, James W. Thatcher

Proceedings of the Automata, 1983

1982

Data Type Specification: Parameterization and the Power of Specification Techniques.

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

ACM Trans. Program. Lang. Syst., 1982

1981

More on Advice on Structuring Compilers and Proving them Correct.

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

Theor. Comput. Sci., 1981

1980

Data Abstraction, Data Bases and Conceptual Modelling.

James W. Thatcher

Proceedings of the Workshop on Data Abstraction, 1980

Types (discussion).

Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes

Proceedings of the Workshop on Data Abstraction, 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

1978

A Uniform Approach to Inductive Posets and Inductive Closure.

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

Theor. Comput. Sci., 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

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

1975

What Is a Multilevel Array?

Arnold L. Rosenberg, James W. Thatcher

IBM J. Res. Dev., 1975

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

Initial Algebra Semantics

Joseph A. Goguen, James W. Thatcher

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

The algebraic theory of recursive program schemes.

Rod M. Burstall, James W. Thatcher

Proceedings of the Category Theory Applied to Computation and Control, 1974

1970

Generalized Sequential Machine Maps.

James W. Thatcher

J. Comput. Syst. Sci., 1970

1969

Transformations and Translations from the Point of View of Generalized Finite Automata Theory

James W. Thatcher

Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969

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

Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory.

James W. Thatcher

J. Comput. Syst. Sci., 1967

1966

Decision Problems for Multiple Successor Arithmetics.

James W. Thatcher

J. Symb. Log., 1966