James W. Thatcher - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2005

Managing usability for people with disabilities in a large Web presenceMatthew King, James W. Thatcher, Philip Matthew Bronstad, Robert Easton. IBMSJ, 44(3):519-536, 2005. [doi]

1989

Language Constructs for Specifying Concurrency in CDL*R. K. Shyamasundar, James W. Thatcher. TSE, 15(8):977-993, 1989. [doi]

1987

Algebraic Semantics (Abstract)James W. Thatcher. tapsoft 1987: 287

1984

Parameter Passing in Algebraic Specification LanguagesHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. TCS, 28:45-81, 1984.

1983

Recursion and Iteration in Continuous Theories: The M-Construction Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. jcss, 27(2):148-164, 1983.

Algebraic Specifications with Generating ConstraintsHartmut Ehrig, Eric G. Wagner, James W. Thatcher. icalp 1983: 188-202

1982

Data Type Specification: Parameterization and the Power of Specification TechniquesJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. TOPLAS, 4(4):711-732, 1982. [doi]

1981

Parameter Passing in Algebraic Specification LanguagesHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. FM 1982: 322-369

More on Advice on Structuring Compilers and Proving them CorrectJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. TCS, 15:223-249, 1981.

1980

1979

More on Advice on Structuring Compilers and Proving Them CorrectJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. icalp 1979: 596-615

1978

Data Type Specification: Parameterization and the Power of Specification TechniquesJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. stoc 1978: 119-132

Programming Languages as Mathematical ObjectsEric G. Wagner, James W. Thatcher, Jesse B. Wright. mfcs 1978: 84-101

A Uniform Approach to Inductive Posets and Inductive ClosureJesse B. Wright, Eric G. Wagner, James W. Thatcher. TCS, 7:57-77, 1978.

1977

Initial Algebra Semantics and Continuous AlgebrasJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. JACM, 24(1):68-95, 1977. [doi]

A Uniform Approach to Inductive Posets and Inductive ClosureJesse B. Wright, Eric G. Wagner, James W. Thatcher. mfcs 1977: 192-212

1976

Some Fundamentals of Order-Algebraic SemanticsEric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher. mfcs 1976: 153-168

Rational Algebraic Theories and Fixed-Point SolutionsJesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen. focs 1976: 147-158

1975

What Is a Multilevel Array?Arnold L. Rosenberg, James W. Thatcher. ibmrd, 19(2):163-169, 1975.

1974

The algebraic theory of recursive program schemesRod M. Burstall, James W. Thatcher. category 1975: 126-131

Factorizations, Congruences, and the Decomposition of Automata and SystemsJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. mfcs 1975: 33-45

Initial Algebra SemanticsJoseph A. Goguen, James W. Thatcher. focs 1974: 63-77

1970

Generalized Sequential Machine MapsJames W. Thatcher. jcss, 4(4):339-367, 1970.

1969

Transformations and Translations from the Point of View of Generalized Finite Automata TheoryJames W. Thatcher. stoc 1969: 129-142

1968

Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order LogicJames W. Thatcher, Jesse B. Wright. mst, 2(1):57-81, 1968.

1967

Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata TheoryJames W. Thatcher. jcss, 1(4):317-322, 1967.

1966

Decision Problems for Multiple Successor ArithmeticsJames W. Thatcher. JSYML, 31(2):182-190, 1966.

Sign in or sign up to see more results.

runs on WebDSL