An algebraically specified language for data directed design
- Eric G. Wagner
- 1990
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
23 results for Eric G. Wagner
Algebras, polynomials and programs
- Eric G. Wagner
- 1990
- Theoretical Computer Science
A categorical treatment of pre- and post-conditions
- Eric G. Wagner
- 1987
- Theoretical Computer Science
Canonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
FUNCTORIAL HIERARCHIES OF FUNCTIONAL LANGUAGES.
- E.G. Wagner
- 1982
- IFIP Working Conference on the Formal Description of Programming Concepts 1982
Recursion and iteration in continuous theories: The "M-construction"
- Stephen L. Bloom
- James W. Thatcher
- et al.
- 1983
- Journal of Computer and System Sciences
Parameter passing in algebraic specification languages
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1983
- Theoretical Computer Science
Data 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)
More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
Data type specification: Parameterization and the power of specification techniques
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1978
- STOC 1978