Eric G. Wagner

Publication Activity (10 Years)

Years Active: 1959-2005
Publications (10 Years): 0

Publications

Eric G. Wagner
Relationships Between Equational and Inductive Data Types. Formal Methods in Software and Systems Modeling (2005)
Eric G. Wagner
Algebraic Specifications: some old history and new thoughts. Nord. J. Comput. 9 (4) (2002)
Magne Haveraaen, Eric G. Wagner
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT (1999)
Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters
Fix-point Semantics for Programs in Distributive Categories. Fundam. Informaticae 22 (1/2) (1995)
Eric G. Wagner
On the Role of Memory in Object-Based and Object-Oriented Languages. Theor. Comput. Sci. 140 (1) (1995)
Eric G. Wagner
The Role of Memory in Object-based and Object-oriented Languages. AMAST (1993)
Eric G. Wagner
Overloading and Inheritance. COMPASS/ADT (1992)
Eric G. Wagner
Generic Classes in an Object-Based Language. COMPASS/ADT (1991)
Eric G. Wagner
Algebras, Polynomials and Programs. Theor. Comput. Sci. 70 (1) (1990)
Eric G. Wagner
An Algebraically Specified Language for Data Directed Design. Theor. Comput. Sci. 77 (1&2) (1990)
Eric G. Wagner
Generic Types in a Language for Data Directed Design. ADT (1990)
Eric G. Wagner
All recursive types defined using products and sums can be implemented using pointers. Algebraic Logic and Universal Algebra in Computer Science (1988)
Eric G. Wagner
On Declarations. Categorial Methods in Computer Science (1988)
Eric G. Wagner, Edwin J. Selker, Joseph D. Rutledge
Algebraic Data Types and Object-Oriented Programming. ADT (1988)
Eric G. Wagner
A Categorical Treatment of Pre- and Post-Conditions. Theor. Comput. Sci. 53 (1987)
Eric G. Wagner
Semantics of Block Structured Languages with Pointers. MFPS (1987)
Eric G. Wagner, Hartmut Ehrig
Canonical Constraints for Parameterized Data Types. Theor. Comput. Sci. 50 (1987)
Eric G. Wagner
A Categorical Treatment of Pre- and Post Conditions. CAAP (1986)
Eric G. Wagner
Categories, Data Types and Imperative Languages. CTCS (1985)
Eric G. Wagner
A Categorical View of Weakest Liberal Preconditions. CTCS (1985)
Eric G. Wagner
Categorical Semantics, Or Extending Data Types to Include Memory. ADT (1984)
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. 28 (1984)
Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Recursion and Iteration in Continuous Theories: The "M-Construction". J. Comput. Syst. Sci. 27 (2) (1983)
Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
Algebraic Specifications with Generating Constraints. ICALP (1983)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Data Type Specification: Parameterization and the Power of Specification Techniques. ACM Trans. Program. Lang. Syst. 4 (4) (1982)
Eric G. Wagner
Functorial Hierarchies of Functional Languages. Formal Description of Programming Concepts (1982)
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameter Passing in Algebraic Specification Languages. Program Specification (1981)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
More on Advice on Structuring Compilers and Proving them Correct. Theor. Comput. Sci. 15 (1981)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
More on advice on structuring compilers and proving them correct. Semantics-Directed Compiler Generation (1980)
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP (1980)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
More on Advice on Structuring Compilers and Proving Them Correct. ICALP (1979)
Eric G. Wagner, James W. Thatcher, Jesse B. Wright
Programming Languages as Mathematical Objects. MFCS (1978)
Jesse B. Wright, Eric G. Wagner, James W. Thatcher
A Uniform Approach to Inductive Posets and Inductive Closure. Theor. Comput. Sci. 7 (1978)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Data Type Specification: Parameterization and the Power of Specification Techniques STOC (1978)
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Initial Algebra Semantics and Continuous Algebras. J. ACM 24 (1) (1977)
Jesse B. Wright, Eric G. Wagner, James W. Thatcher
A Uniform Approach to Inductive Posets and Inductive Closure. MFCS (1977)
Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
Some Fundamentals of Order-Algebraic Semantics. MFCS (1976)
Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
Rational Algebraic Theories and Fixed-Point Solutions FOCS (1976)
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS (1974)
Eric G. Wagner
From Algebras to Programming Languages STOC (1973)
Eric G. Wagner
Bounded action machines II: The basic structure of Tapeless computers. Computing 9 (3) (1972)
Eric G. Wagner
An Algebraic Theory of Recursive Definitions and Recursive Languages STOC (1971)
Eric G. Wagner
Languages for Defining Sets in Arbitrary Algebras SWAT (1971)
Eric G. Wagner
R70-32 Tessellation Automata. IEEE Trans. Computers 19 (9) (1970)
Eric G. Wagner
Uniformly reflexive structures: An axiomatic approach to computability. Inf. Sci. 1 (4) (1969)
Eric G. Wagner
Bounded Action Machines: Toward an Abstract Theory of Computer Structure. J. Comput. Syst. Sci. 2 (1) (1968)
Eric G. Wagner
"Tapeless" Bounded Action Machines SWAT (1968)
Eric G. Wagner
On the Structure of Programming Languages, or, Six Languages for Turing Machines SWAT (1967)
Eric G. Wagner
On Connecting Modules Together Uniformly to Form a Modular Computer. IEEE Trans. Electron. Comput. 15 (6) (1966)
Eric G. Wagner
On connecting modules together uniformly to form a modular computer SWCT (1965)
J. Paul Roth, Eric G. Wagner
Algebraic Topological Methods for the Synthesis of Switching Systems - Part III: Minimization of Nonsingular Boolean Trees. IBM J. Res. Dev. 3 (4) (1959)