More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
16 results for J.W. Thatcher
A uniform approach to inductive posets and inductive closure
- J.B. Wright
- E.G. Wagner
- et al.
- 1978
- Theoretical Computer Science
Parallel realization of systems, using factorizations and quotients in categories
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1976
- Journal of the Franklin Institute
Generalized2 sequential machine maps
- James W. Thatcher
- 1970
- Journal of Computer and System Sciences
Generalized finite automata theory with an application to a decision problem of second-order logic
- J.W. Thatcher
- J.B. Wright
- 1968
- Mathematical Systems Theory
Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
- J.W. Thatcher
- 1967
- Journal of Computer and System Sciences