Eric G. Wagner

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