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: Wagner:Eric_G=
Contributed to:
1983
19811980
19801979
197819731971Wrote 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.