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 × Spain
2 × Denmark
3 × USA
Collaborated with:
J.W.Thatcher J.B.Wright H.Ehrig H.Kreowski
Talks about:
algebra (5) specif (5) languag (4) parameter (2) structur (2) correct (2) recurs (2) compil (2) prove (2) advic (2)

Person: Eric G. Wagner

DBLP DBLP: Wagner:Eric_G=

Contributed to:

ICALP 19831983
PS 19811981
ICALP 19801980
SDCG 19801980
ICALP 19791979
STOC 19781978
STOC 19731973
STOC 19711971

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-1973-Wagner #algebra #programming language
From Algebras to Programming Languages (EGW), pp. 214–223.
STOC-1971-Wagner #algebra #recursion
An Algebraic Theory of Recursive Definitions and Recursive Languages (EGW), pp. 12–23.

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.