BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Spain
2 × Denmark
2 × USA
Collaborated with:
E.G.Wagner J.B.Wright ∅ H.Ehrig H.Kreowski
Talks about:
specif (5) algebra (4) parameter (2) structur (2) languag (2) correct (2) compil (2) prove (2) advic (2) type (2)

Person: James W. Thatcher

DBLP DBLP: Thatcher:James_W=

Facilitated 4 volumes:

TAPSOFT, Vol.1: AS 1985Ed
TAPSOFT, Vol.2: AS 1985Ed
TAPSOFT, Vol.1: CAAP 1985Ed
TAPSOFT, Vol.2: CSE 1985Ed

Contributed to:

ICALP 19831983
PS 19811981
ICALP 19801980
SDCG 19801980
ICALP 19791979
STOC 19781978
STOC 19691969
TAPSOFT, Vol.1: AS 19871987

Wrote 8 papers:

ICALP-1983-EhrigWT #algebra #constraints #generative #specification
Algebraic Specifications with Generating Constraints (HE, EGW, JWT), pp. 188–202.
PS-1981-EhrigKTWW #algebra #parametricity #specification
Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.
ICALP-1980-EhrigKTWW #algebra #data type #specification
Parameterized Data Types in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 157–168.
SDCG-1980-ThatcherWW #compilation #proving
More on advice on structuring compilers and proving them correct (JWT, EGW, JBW), pp. 165–188.
ICALP-1979-ThatcherWW #compilation #proving
More on Advice on Structuring Compilers and Proving Them Correct (JWT, EGW, JBW), pp. 596–615.
STOC-1978-ThatcherWW #data type #power of #specification
Data Type Specification: Parameterization and the Power of Specification Techniques (JWT, EGW, JBW), pp. 119–132.
STOC-1969-Thatcher #automaton #finite
Transformations and Translations from the Point of View of Generalized Finite Automata Theory (JWT), pp. 129–142.
AS-1987-Thatcher #algebra #semantics
Algebraic Semantics (JWT), p. 287.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.