An algebraically specified language for data directed design
- Eric G. Wagner
- 1990
- Theoretical Computer Science
Paper
Publications
23 results for Eric G. Wagner
Algebras, polynomials and programs
- Eric G. Wagner
- 1990
- Theoretical Computer Science
PaperCanonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
PaperA categorical treatment of pre- and post-conditions
- Eric G. Wagner
- 1987
- Theoretical Computer Science
PaperFUNCTORIAL HIERARCHIES OF FUNCTIONAL LANGUAGES.
- E.G. Wagner
- 1982
- IFIP Working Conference on the Formal Description of Programming Concepts 1982
Conference paperRecursion and iteration in continuous theories: The "M-construction"
- Stephen L. Bloom
- James W. Thatcher
- et al.
- 1983
- Journal of Computer and System Sciences
PaperParameter passing in algebraic specification languages
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1983
- Theoretical Computer Science
PaperData Type Specification: Parameterization and the Power of Specification Techniques
- J.W. Thatcher
- E.G. Wagner
- et al.
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)
PaperMore on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
PaperData type specification: Parameterization and the power of specification techniques
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1978
- STOC 1978
Conference paper