We stand with Ukraine

We stand with Ukraine

Eric G. Wagner

Affiliations:

Wagner Mathematics, Garrison, NY, USA
IBM T. J. Watson Research Center, Yorktown Heights, NY, USA (former)

According to our database¹, Eric G. Wagner authored at least 43 papers between 1959 and 2005.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2005

Relationships Between Equational and Inductive Data Types.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2002

Algebraic Specifications: some old history and new thoughts.

[BibT_eX]

Nord. J. Comput., 2002

1999

Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There.

[BibT_eX]

[DOI]

Magne Haveraaen

,

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1995

Fix-point Semantics for Programs in Distributive Categories.

[BibT_eX]

[DOI]

,

,

Robert F. C. Walters

Fundam. Informaticae, 1995

1993

The Role of Memory in Object-based and Object-oriented Languages.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Overloading and Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Generic Classes in an Object-Based Language.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

An Algebraically Specified Language for Data Directed Design.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Algebras, Polynomials and Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Generic Types in a Language for Data Directed Design.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

On Declarations.

[BibT_eX]

[DOI]

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

All recursive types defined using products and sums can be implemented using pointers.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988

Algebraic Data Types and Object-Oriented Programming.

[BibT_eX]

,

Edwin J. Selker

,

Joseph D. Rutledge

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Canonical Constraints for Parameterized Data Types.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 1987

Semantics of Block Structured Languages with Pointers.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986

A Categorical Treatment of Pre- and Post Conditions.

[BibT_eX]

[DOI]

Proceedings of the CAAP '86, 1986

1985

A Categorical View of Weakest Liberal Preconditions.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

Categories, Data Types and Imperative Languages.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1984

Categorical Semantics, Or Extending Data Types to Include Memory.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Recursion and Iteration in Continuous Theories: The "M-Construction".

[BibT_eX]

[DOI]

Stephen L. Bloom

,

James W. Thatcher

,

,

Jesse B. Wright

J. Comput. Syst. Sci., 1983

Algebraic Specifications with Generating Constraints.

[BibT_eX]

[DOI]

,

,

James W. Thatcher

Proceedings of the Automata, 1983

1982

Functorial Hierarchies of Functional Languages.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Parameter Passing in Algebraic Specification Languages.

[BibT_eX]

[DOI]

,

Hans-Jörg Kreowski

,

James W. Thatcher

,

,

Jesse B. Wright

Proceedings of the Program Specification, 1981

1980

Parameterized Data Types in Algebraic Specification Languages (Short Version).

[BibT_eX]

[DOI]

,

Hans-Jörg Kreowski

,

James W. Thatcher

,

,

Jesse B. Wright

Proceedings of the Automata, 1980

More on advice on structuring compilers and proving them correct.

[BibT_eX]

[DOI]

James W. Thatcher

,

,

Jesse B. Wright

Proceedings of the Semantics-Directed Compiler Generation, 1980

1978

Data Type Specification: Parameterization and the Power of Specification Techniques

[BibT_eX]

[DOI]

James W. Thatcher

,

,

Jesse B. Wright

Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978

Programming Languages as Mathematical Objects.

[BibT_eX]

[DOI]

,

James W. Thatcher

,

Jesse B. Wright

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

Initial Algebra Semantics and Continuous Algebras.

[BibT_eX]

[DOI]

Joseph A. Goguen

,

James W. Thatcher

,

,

Jesse B. Wright

J. ACM, 1977

A Uniform Approach to Inductive Posets and Inductive Closure.

[BibT_eX]

[DOI]

Jesse B. Wright

,

,

James W. Thatcher

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

Some Fundamentals of Order-Algebraic Semantics.

[BibT_eX]

[DOI]

,

Jesse B. Wright

,

Joseph A. Goguen

,

James W. Thatcher

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Rational Algebraic Theories and Fixed-Point Solutions

[BibT_eX]

[DOI]

Jesse B. Wright

,

James W. Thatcher

,

,

Joseph A. Goguen

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1974

Factorizations, Congruences, and the Decomposition of Automata and Systems.

[BibT_eX]

[DOI]

Joseph A. Goguen

,

James W. Thatcher

,

,

Jesse B. Wright

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

From Algebras to Programming Languages

[BibT_eX]

[DOI]

Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973

1972

Bounded action machines II: The basic structure of Tapeless computers.

[BibT_eX]

[DOI]

Computing, 1972

1971

An Algebraic Theory of Recursive Definitions and Recursive Languages

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, 1971

Languages for Defining Sets in Arbitrary Algebras

[BibT_eX]

[DOI]

Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971

1970

R70-32 Tessellation Automata.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1970

1969

Uniformly reflexive structures: An axiomatic approach to computability.

[BibT_eX]

[DOI]

Inf. Sci., 1969

1968

Bounded Action Machines: Toward an Abstract Theory of Computer Structure.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1968

"Tapeless" Bounded Action Machines

[BibT_eX]

[DOI]

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968

1967

On the Structure of Programming Languages, or, Six Languages for Turing Machines

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967

1965

On connecting modules together uniformly to form a modular computer

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design, 1965

1959

Algebraic Topological Methods for the Synthesis of Switching Systems - Part III: Minimization of Nonsingular Boolean Trees.

[BibT_eX]

[DOI]

,

IBM J. Res. Dev., 1959

Loading...