The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eric G. Wagner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Data Type Specification: Parameterization and the Power of Specification Techniques. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:711-732 [Journal]
  2. Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Initial Algebra Semantics and Continuous Algebras. [Citation Graph (2, 0)][DBLP]
    J. ACM, 1977, v:24, n:1, pp:68-95 [Journal]
  3. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Data Type Specification: Parameterization and the Power of Specification Techniques [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:119-132 [Conf]
  4. Eric G. Wagner
    Categorical Semantics, Or Extending Data Types to Include Memory. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:1-21 [Conf]
  5. Eric G. Wagner
    Generic Types in a Language for Data Directed Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:341-361 [Conf]
  6. Eric G. Wagner, E. J. Selker, J. D. Rutledge
    Algebraic Data Types and Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  7. Eric G. Wagner
    All recursive types defined using products and sums can be implemented using pointers. [Citation Graph (0, 0)][DBLP]
    Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:111-132 [Conf]
  8. Eric G. Wagner
    The Role of Memory in Object-based and Object-oriented Languages. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:333-342 [Conf]
  9. Eric G. Wagner
    Relationships Between Equational and Inductive Data Types. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:259-274 [Conf]
  10. Eric G. Wagner
    A Categorical Treatment of Pre- and Post Conditions. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:1-5 [Conf]
  11. Eric G. Wagner
    On Declarations. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:261-277 [Conf]
  12. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    More on advice on structuring compilers and proving them correct. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:165-188 [Conf]
  13. Eric G. Wagner
    Generic Classes in an Object-Based Language. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:330-344 [Conf]
  14. Eric G. Wagner
    Overloading and Inheritance. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:79-97 [Conf]
  15. Eric G. Wagner
    Categories, Data Types and Imperative Languages. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:143-162 [Conf]
  16. Eric G. Wagner
    A Categorical View of Weakest Liberal Preconditions. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:198-205 [Conf]
  17. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:322-369 [Conf]
  18. Eric G. Wagner
    On connecting modules together uniformly to form a modular computer [Citation Graph (0, 0)][DBLP]
    FOCS, 1965, pp:248-257 [Conf]
  19. Eric G. Wagner
    On the Structure of Programming Languages, or, Six Languages for Turing Machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1967, pp:45-54 [Conf]
  20. Eric G. Wagner
    ``Tapeless'' Bounded Action Machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1968, pp:61-68 [Conf]
  21. Eric G. Wagner
    Languages for Defining Sets in Arbitrary Algebras [Citation Graph (0, 0)][DBLP]
    FOCS, 1971, pp:192-201 [Conf]
  22. Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
    Rational Algebraic Theories and Fixed-Point Solutions [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:147-158 [Conf]
  23. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameterized Data Types in Algebraic Specification Languages (Short Version). [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:157-168 [Conf]
  24. Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
    Algebraic Specifications with Generating Constraints. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:188-202 [Conf]
  25. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    More on Advice on Structuring Compilers and Proving Them Correct. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:596-615 [Conf]
  26. Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Factorizations, Congruences, and the Decomposition of Automata and Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:33-45 [Conf]
  27. Eric G. Wagner, James W. Thatcher, Jesse B. Wright
    Programming Languages as Mathematical Objects. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:84-101 [Conf]
  28. Jesse B. Wright, Eric G. Wagner, James W. Thatcher
    A Uniform Approach to Inductive Posets and Inductive Closure. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:192-212 [Conf]
  29. Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
    Some Fundamentals of Order-Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:153-168 [Conf]
  30. Eric G. Wagner
    Semantics of Block Structured Languages with Pointers. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:57-84 [Conf]
  31. Eric G. Wagner
    An Algebraic Theory of Recursive Definitions and Recursive Languages [Citation Graph (0, 0)][DBLP]
    STOC, 1971, pp:12-23 [Conf]
  32. Eric G. Wagner
    From Algebras to Programming Languages [Citation Graph (0, 0)][DBLP]
    STOC, 1973, pp:214-223 [Conf]
  33. Magne Haveraaen, Eric G. Wagner
    Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:182-200 [Conf]
  34. Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters
    Fix-point Semantics for Programs in Distributive Categories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:22, n:1/2, pp:187-202 [Journal]
  35. Eric G. Wagner
    Uniformly reflexive structures: An axiomatic approach to computability. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1969, v:1, n:4, pp:343-362 [Journal]
  36. Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Recursion and Iteration in Continuous Theories: The "M-Construction". [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:148-164 [Journal]
  37. Eric G. Wagner
    Bounded Action Machines: Toward an Abstract Theory of Computer Structure. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1968, v:2, n:1, pp:13-75 [Journal]
  38. Eric G. Wagner
    Algebraic Specifications: some old history and new thoughts. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:373-404 [Journal]
  39. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:45-81 [Journal]
  40. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    More on Advice on Structuring Compilers and Proving them Correct. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:15, n:, pp:223-249 [Journal]
  41. Eric G. Wagner
    A Categorical Treatment of Pre- and Post-Conditions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:53, n:, pp:3-24 [Journal]
  42. Eric G. Wagner
    Algebras, Polynomials and Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:1, pp:3-34 [Journal]
  43. Eric G. Wagner
    An Algebraically Specified Language for Data Directed Design. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:195-219 [Journal]
  44. Eric G. Wagner
    On the Role of Memory in Object-Based and Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:140, n:1, pp:179-199 [Journal]
  45. Eric G. Wagner, Hartmut Ehrig
    Canonical Constraints for Parameterized Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:50, n:, pp:323-349 [Journal]
  46. Jesse B. Wright, Eric G. Wagner, James W. Thatcher
    A Uniform Approach to Inductive Posets and Inductive Closure. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1978, v:7, n:, pp:57-77 [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002