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

Person: Jesse B. Wright

DBLP DBLP: Wright:Jesse_B=

Contributed to:

PS 19811981
ICALP 19801980
SDCG 19801980
ICALP 19791979
STOC 19781978

Wrote 5 papers:

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.

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.