- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 46 |      | Eric G. Wagner: Relationships Between Equational and Inductive Data Types. Formal Methods in Software and Systems Modeling 2005: 259-274 |
| 2002 | ||
| 45 |  | Eric G. Wagner: Algebraic Specifications: some old history and new thoughts. Nord. J. Comput. 9(4): 373-404 (2002) |
| 1999 | ||
| 44 | | Magne Haveraaen, Eric G. Wagner: Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT 1999: 182-200 |
| 1995 | ||
| 43 | | 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) |
| 42 | | Eric G. Wagner: On the Role of Memory in Object-Based and Object-Oriented Languages. Theor. Comput. Sci. 140(1): 179-199 (1995) |
| 1993 | ||
| 41 | | Eric G. Wagner: The Role of Memory in Object-based and Object-oriented Languages. AMAST 1993: 333-342 |
| 1992 | ||
| 40 | | Eric G. Wagner: Overloading and Inheritance. COMPASS/ADT 1992: 79-97 |
| 1991 | ||
| 39 | | Eric G. Wagner: Generic Classes in an Object-Based Language. COMPASS/ADT 1991: 330-344 |
| 1990 | ||
| 38 | | Eric G. Wagner: Generic Types in a Language for Data Directed Design. ADT 1990: 341-361 |
| 37 | | Eric G. Wagner: Algebras, Polynomials and Programs. Theor. Comput. Sci. 70(1): 3-34 (1990) |
| 36 | | Eric G. Wagner: An Algebraically Specified Language for Data Directed Design. Theor. Comput. Sci. 77(1&2): 195-219 (1990) |
| 1988 | ||
| 35 | | Eric G. Wagner, E. J. Selker, J. D. Rutledge: Algebraic Data Types and Object-Oriented Programming. ADT 1988 |
| 34 | | 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 |
| 33 | | Eric G. Wagner: On Declarations. Categorial Methods in Computer Science 1988: 261-277 |
| 1987 | ||
| 32 | | Eric G. Wagner: Semantics of Block Structured Languages with Pointers. MFPS 1987: 57-84 |
| 31 | | Eric G. Wagner, Hartmut Ehrig: Canonical Constraints for Parameterized Data Types. Theor. Comput. Sci. 50: 323-349 (1987) |
| 30 | | Eric G. Wagner: A Categorical Treatment of Pre- and Post-Conditions. Theor. Comput. Sci. 53: 3-24 (1987) |
| 1986 | ||
| 29 | | Eric G. Wagner: A Categorical Treatment of Pre- and Post Conditions. CAAP 1986: 1-5 |
| 1985 | ||
| 28 | | Eric G. Wagner: Categories, Data Types and Imperative Languages. CTCS 1985: 143-162 |
| 27 | | Eric G. Wagner: A Categorical View of Weakest Liberal Preconditions. CTCS 1985: 198-205 |
| 1984 | ||
| 26 | | Eric G. Wagner: Categorical Semantics, Or Extending Data Types to Include Memory. ADT 1984: 1-21 |
| 25 | | 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) |
| 1983 | ||
| 24 | | Hartmut Ehrig, Eric G. Wagner, James W. Thatcher: Algebraic Specifications with Generating Constraints. ICALP 1983: 188-202 |
| 23 | | 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) |
| 1982 | ||
| 22 | | 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 | ||
| 21 | | 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 |
| 20 | | 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) |
| 1980 | ||
| 19 | | 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 |
| 18 | | 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 |
| 1979 | ||
| 17 | | James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on Advice on Structuring Compilers and Proving Them Correct. ICALP 1979: 596-615 |
| 1978 | ||
| 16 | | Eric G. Wagner, James W. Thatcher, Jesse B. Wright: Programming Languages as Mathematical Objects. MFCS 1978: 84-101 |
| 15 | | James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques STOC 1978: 119-132 |
| 14 | | 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) |
| 1977 | ||
| 13 | | Jesse B. Wright, Eric G. Wagner, James W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure. MFCS 1977: 192-212 |
| 12 | | 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) |
| 1976 | ||
| 11 | | Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen: Rational Algebraic Theories and Fixed-Point Solutions FOCS 1976: 147-158 |
| 10 | | Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168 |
| 1974 | ||
| 9 | | 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 | ||
| 8 | | Eric G. Wagner: From Algebras to Programming Languages STOC 1973: 214-223 |
| 1971 | ||
| 7 | | Eric G. Wagner: An Algebraic Theory of Recursive Definitions and Recursive Languages STOC 1971: 12-23 |
| 6 | | Eric G. Wagner: Languages for Defining Sets in Arbitrary Algebras SWAT (FOCS) 1971: 192-201 |
| 1969 | ||
| 5 | | Eric G. Wagner: Uniformly reflexive structures: An axiomatic approach to computability. Inf. Sci. 1(4): 343-362 (1969) |
| 1968 | ||
| 4 | | Eric G. Wagner: ``Tapeless'' Bounded Action Machines SWAT (FOCS) 1968: 61-68 |
| 3 | | Eric G. Wagner: Bounded Action Machines: Toward an Abstract Theory of Computer Structure. J. Comput. Syst. Sci. 2(1): 13-75 (1968) |
| 1967 | ||
| 2 | | Eric G. Wagner: On the Structure of Programming Languages, or, Six Languages for Turing Machines SWAT (FOCS) 1967: 45-54 |
| 1965 | ||
| 1 | | Eric G. Wagner: On connecting modules together uniformly to form a modular computer SWCT (FOCS) 1965: 248-257 |
| 1 | Stephen L. Bloom | [23] |
| 2 | Hartmut Ehrig | [19] [21] [24] [25] [31] |
| 3 | Joseph A. Goguen | [9] [10] [11] [12] |
| 4 | Magne Haveraaen | [44] |
| 5 | Wafaa Khalil | [43] |
| 6 | Hans-Jörg Kreowski | [19] [21] [25] |
| 7 | J. D. Rutledge | [35] |
| 8 | E. J. Selker | [35] |
| 9 | James W. Thatcher | [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] |
| 10 | Robert F. C. Walters | [43] |
| 11 | Jesse B. Wright | [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page