Eric G. Wagner

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2005
c31		Eric G. Wagner: Relationships Between Equational and Inductive Data Types. Formal Methods in Software and Systems Modeling 2005: 259-274
	2002
j15		Eric G. Wagner: Algebraic Specifications: some old history and new thoughts. Nord. J. Comput. 9(4): 373-404 (2002)
	1999
c30		Magne Haveraaen, Eric G. Wagner: Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT 1999: 182-200
	1995
j14		Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters: Fix-point Semantics for Programs in Distributive Categories. Fundam. Inform. 22(1/2): 187-202 (1995)
j13		Eric G. Wagner: On the Role of Memory in Object-Based and Object-Oriented Languages. Theor. Comput. Sci. 140(1): 179-199 (1995)
	1993
c29		Eric G. Wagner: The Role of Memory in Object-based and Object-oriented Languages. AMAST 1993: 333-342
	1992
c28		Eric G. Wagner: Overloading and Inheritance. COMPASS/ADT 1992: 79-97
	1991
c27		Eric G. Wagner: Generic Classes in an Object-Based Language. COMPASS/ADT 1991: 330-344
	1990
j12		Eric G. Wagner: Algebras, Polynomials and Programs. Theor. Comput. Sci. 70(1): 3-34 (1990)
j11		Eric G. Wagner: An Algebraically Specified Language for Data Directed Design. Theor. Comput. Sci. 77(1&2): 195-219 (1990)
c26		Eric G. Wagner: Generic Types in a Language for Data Directed Design. ADT 1990: 341-361
	1988
c25		Eric G. Wagner, E. J. Selker, J. D. Rutledge: Algebraic Data Types and Object-Oriented Programming. ADT 1988
c24		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: 111-132
c23		Eric G. Wagner: On Declarations. Categorial Methods in Computer Science 1988: 261-277
	1987
j10		Eric G. Wagner, Hartmut Ehrig: Canonical Constraints for Parameterized Data Types. Theor. Comput. Sci. 50: 323-349 (1987)
j9		Eric G. Wagner: A Categorical Treatment of Pre- and Post-Conditions. Theor. Comput. Sci. 53: 3-24 (1987)
c22		Eric G. Wagner: Semantics of Block Structured Languages with Pointers. MFPS 1987: 57-84
	1986
c21		Eric G. Wagner: A Categorical Treatment of Pre- and Post Conditions. CAAP 1986: 1-5
	1985
c20		Eric G. Wagner: Categories, Data Types and Imperative Languages. CTCS 1985: 143-162
c19		Eric G. Wagner: A Categorical View of Weakest Liberal Preconditions. CTCS 1985: 198-205
	1984
j8		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: 45-81 (1984)
c18		Eric G. Wagner: Categorical Semantics, Or Extending Data Types to Include Memory. ADT 1984: 1-21
	1983
j7		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): 148-164 (1983)
c17		Hartmut Ehrig, Eric G. Wagner, James W. Thatcher: Algebraic Specifications with Generating Constraints. ICALP 1983: 188-202
	1982
j6		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): 711-732 (1982)
	1981
j5		James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on Advice on Structuring Compilers and Proving them Correct. Theor. Comput. Sci. 15: 223-249 (1981)
c16		Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameter Passing in Algebraic Specification Languages. Program Specification 1981: 322-369
	1980
c15		James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on advice on structuring compilers and proving them correct. Semantics-Directed Compiler Generation 1980: 165-188
c14		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: 157-168
	1979
c13		James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on Advice on Structuring Compilers and Proving Them Correct. ICALP 1979: 596-615
	1978
j4		Jesse B. Wright, Eric G. Wagner, James W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure. Theor. Comput. Sci. 7: 57-77 (1978)
c12		Eric G. Wagner, James W. Thatcher, Jesse B. Wright: Programming Languages as Mathematical Objects. MFCS 1978: 84-101
c11		James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. STOC 1978: 119-132
	1977
j3		Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Initial Algebra Semantics and Continuous Algebras. J. ACM 24(1): 68-95 (1977)
c10		Jesse B. Wright, Eric G. Wagner, James W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure. MFCS 1977: 192-212
	1976
c9		Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen: Rational Algebraic Theories and Fixed-Point Solutions. FOCS 1976: 147-158
c8		Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168
	1974
c7		Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS 1974: 33-45
	1973
c6		Eric G. Wagner: From Algebras to Programming Languages. STOC 1973: 214-223
	1971
c5		Eric G. Wagner: Languages for Defining Sets in Arbitrary Algebras. SWAT (FOCS) 1971: 192-201
c4		Eric G. Wagner: An Algebraic Theory of Recursive Definitions and Recursive Languages. STOC 1971: 12-23
	1969
j2		Eric G. Wagner: Uniformly reflexive structures: An axiomatic approach to computability. Inf. Sci. 1(4): 343-362 (1969)
	1968
j1		Eric G. Wagner: Bounded Action Machines: Toward an Abstract Theory of Computer Structure. J. Comput. Syst. Sci. 2(1): 13-75 (1968)
c3		Eric G. Wagner: ``Tapeless'' Bounded Action Machines. SWAT (FOCS) 1968: 61-68
	1967
c2		Eric G. Wagner: On the Structure of Programming Languages, or, Six Languages for Turing Machines. SWAT (FOCS) 1967: 45-54
	1965
c1		Eric G. Wagner: On connecting modules together uniformly to form a modular computer. SWCT (FOCS) 1965: 248-257

Coauthor Index

1	Stephen L. Bloom	[j7]
2	Hartmut Ehrig	[j10] [j8] [c17] [c16] [c14]
3	Joseph A. Goguen	[j3] [c9] [c8] [c7]
4	Magne Haveraaen	[c30]
5	Wafaa Khalil	[j14]
6	Hans-Jörg Kreowski	[j8] [c16] [c14]
7	J. D. Rutledge	[c25]
8	E. J. Selker	[c25]
9	James W. Thatcher	[j8] [j7] [c17] [j6] [j5] [c16] [c15] [c14] [c13] [j4] [c12] [c11] [j3] [c10] [c9] [c8] [c7]
10	Robert F. C. Walters	[j14]
11	Jesse B. Wright	[j8] [j7] [j6] [j5] [c16] [c15] [c14] [c13] [j4] [c12] [c11] [j3] [c10] [c9] [c8] [c7]

Colors in the list of coauthors

Last update Sat May 25 08:20:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page