James W. Thatcher

33 papers A* 6B 4Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2005 J jnl
Managing usability for people with disabilities in a large Web presence.
IBM Syst. J.
Matthew King, James W. Thatcher, Philip Matthew Bronstad, Robert Easton
1989 J jnl
Language Constructs for Specifying Concurrency in CDL*.
IEEE Trans. Software Eng.
R. K. Shyamasundar, James W. Thatcher
1987 — conf
Algebraic Semantics (Abstract).
TAPSOFT, Vol.1
James W. Thatcher
1985 — ed.
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
TAPSOFT, Vol.1
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1985 — ed.
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)
TAPSOFT, Vol.2
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
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 A* conf
Algebraic Specifications with Generating Constraints.
ICALP
Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
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
Data Abstraction, Data Bases and Conceptual Modelling.
Workshop on Data Abstraction, Databases and Conceptual Modelling
James W. Thatcher
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 — conf
Types (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling
Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes
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
1975 J jnl
What Is a Multilevel Array?
IBM J. Res. Dev.
Arnold L. Rosenberg, 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
1974 — conf
Initial Algebra Semantics
SWAT
Joseph A. Goguen, James W. Thatcher
1974 — conf
The algebraic theory of recursive program schemes.
Category Theory Applied to Computation and Control
Rod M. Burstall, James W. Thatcher
1972 — ed.
Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, USA
Complexity of Computer Computations
Raymond E. Miller, James W. Thatcher
1970 J jnl
Generalized Sequential Machine Maps.
J. Comput. Syst. Sci.
James W. Thatcher
1969 A* conf
Transformations and Translations from the Point of View of Generalized Finite Automata Theory
STOC
James W. Thatcher
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
Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory.
J. Comput. Syst. Sci.
James W. Thatcher
1966 J jnl
Decision Problems for Multiple Successor Arithmetics.
J. Symb. Log.
James W. Thatcher