Eric G. Wagner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2005

Relationships Between Equational and Inductive Data TypesEric G. Wagner. BIRTHDAY 2005: 259-274 [doi]

2002

Algebraic Specifications: some old history and new thoughtsEric G. Wagner. njc, 9(4):373-404, 2002.

1999

Guarded Algebras: Disguising Partiality so You Won t Know Whether It s ThereMagne Haveraaen, Eric G. Wagner. WADT 2000: 182-200

1995

Fix-point Semantics for Programs in Distributive CategoriesEric G. Wagner, Wafaa Khalil, Robert F. C. Walters. FUIN, 22(1/2):187-202, 1995.

On the Role of Memory in Object-Based and Object-Oriented LanguagesEric G. Wagner. TCS, 140(1):179-199, 1995. [doi]

1993

The Role of Memory in Object-based and Object-oriented LanguagesEric G. Wagner. amast 1994: 333-342

1992

Overloading and InheritanceEric G. Wagner. compass 1994: 79-97

1991

Generic Classes in an Object-Based LanguageEric G. Wagner. compass 1993: 330-344

1990

Algebras, Polynomials and ProgramsEric G. Wagner. TCS, 70(1):3-34, 1990.

An Algebraically Specified Language for Data Directed DesignEric G. Wagner. TCS, 77(1&2):195-219, 1990.

Generic Types in a Language for Data Directed DesignEric G. Wagner. adt 1991: 341-361

1988

All recursive types defined using products and sums can be implemented using pointersEric G. Wagner. aluacs 1990: 111-132

Algebraic Data Types and Object-Oriented ProgrammingEric G. Wagner, E. J. Selker, J. D. Rutledge. WADT 1988:

On DeclarationsEric G. Wagner. category 1989: 261-277

1987

A Categorical Treatment of Pre- and Post-ConditionsEric G. Wagner. TCS, 53:3-24, 1987.

Semantics of Block Structured Languages with PointersEric G. Wagner. mfps 1988: 57-84

Canonical Constraints for Parameterized Data TypesEric G. Wagner, Hartmut Ehrig. TCS, 50:323-349, 1987.

1986

A Categorical Treatment of Pre- and Post ConditionsEric G. Wagner. caap 1986: 1-5

1985

A Categorical View of Weakest Liberal PreconditionsEric G. Wagner. ctcs 1986: 198-205

Categories, Data Types and Imperative LanguagesEric G. Wagner. ctcs 1986: 143-162

1984

Parameter Passing in Algebraic Specification LanguagesHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. TCS, 28:45-81, 1984.

Categorical Semantics, Or Extending Data Types to Include MemoryEric G. Wagner. adt 1985: 1-21

1983

Recursion and Iteration in Continuous Theories: The M-Construction Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. jcss, 27(2):148-164, 1983.

Algebraic Specifications with Generating ConstraintsHartmut Ehrig, Eric G. Wagner, James W. Thatcher. icalp 1983: 188-202

1982

Data Type Specification: Parameterization and the Power of Specification TechniquesJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. TOPLAS, 4(4):711-732, 1982. [doi]

Functorial Hierarchies of Functional LanguagesEric G. Wagner. ifip2 1983: 107-124

1981

Parameter Passing in Algebraic Specification LanguagesHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. FM 1982: 322-369

More on Advice on Structuring Compilers and Proving them CorrectJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. TCS, 15:223-249, 1981.

1980

Parameterized Data Types in Algebraic Specification Languages (Short Version)Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. icalp 1980: 157-168

More on advice on structuring compilers and proving them correctJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. CC 1980: 165-188

1979

More on Advice on Structuring Compilers and Proving Them CorrectJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. icalp 1979: 596-615

1978

Data Type Specification: Parameterization and the Power of Specification TechniquesJames W. Thatcher, Eric G. Wagner, Jesse B. Wright. stoc 1978: 119-132

Programming Languages as Mathematical ObjectsEric G. Wagner, James W. Thatcher, Jesse B. Wright. mfcs 1978: 84-101

A Uniform Approach to Inductive Posets and Inductive ClosureJesse B. Wright, Eric G. Wagner, James W. Thatcher. TCS, 7:57-77, 1978.

1977

Initial Algebra Semantics and Continuous AlgebrasJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. JACM, 24(1):68-95, 1977. [doi]

A Uniform Approach to Inductive Posets and Inductive ClosureJesse B. Wright, Eric G. Wagner, James W. Thatcher. mfcs 1977: 192-212

1976

Some Fundamentals of Order-Algebraic SemanticsEric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher. mfcs 1976: 153-168

Rational Algebraic Theories and Fixed-Point SolutionsJesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen. focs 1976: 147-158

1974

Factorizations, Congruences, and the Decomposition of Automata and SystemsJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright. mfcs 1975: 33-45

1973

From Algebras to Programming LanguagesEric G. Wagner. stoc 1973: 214-223

1972

Bounded action machines II: The basic structure of Tapeless computersEric G. Wagner. computing, 9(3):211-232, 1972. [doi]

1971

An Algebraic Theory of Recursive Definitions and Recursive LanguagesEric G. Wagner. stoc 1971: 12-23

Languages for Defining Sets in Arbitrary AlgebrasEric G. Wagner. focs 1971: 192-201

1970

R70-32 Tessellation AutomataEric G. Wagner. TC, 19(9):857-858, 1970. [doi]

1969

Uniformly reflexive structures: An axiomatic approach to computabilityEric G. Wagner. isci, 1(4):343-362, 1969. [doi]

1968

Bounded Action Machines: Toward an Abstract Theory of Computer StructureEric G. Wagner. jcss, 2(1):13-75, 1968.

Tapeless Bounded Action MachinesEric G. Wagner. focs 1968: 61-68

1967

On the Structure of Programming Languages, or, Six Languages for Turing MachinesEric G. Wagner. focs 1967: 45-54

1966

On Connecting Modules Together Uniformly to Form a Modular ComputerEric G. Wagner. TC, 15(6):864-873, 1966. [doi]

1965

On connecting modules together uniformly to form a modular computerEric G. Wagner. focs 1965: 248-257

1959

Algebraic Topological Methods for the Synthesis of Switching Systems - Part III: Minimization of Nonsingular Boolean TreesJ. Paul Roth, Eric G. Wagner. ibmrd, 3(4):326-344, 1959. [doi]

Sign in or sign up to see more results.

runs on WebDSL