|
ROLE
 Author only
AUTHOR PROFILE PAGES (BETA)
Project background
BOOKMARK & SHARE
|
|
|
|
| Export results as:
BibTeX
EndNotes
ACM Ref
|
| 1982
|
1
|
|
| 1981
|
2
|
|
Parameter Passing in Algebraic Specification Languages
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
|
|
August 1981
|
|
Program Specification, Proceedings of a Workshop
|
|
Publisher: Springer-Verlag
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 2 |
 |
|
|
|
| |
|
| 1980
|
3
|
|
4
|
|
| 1979
|
5
|
|
| 1978
|
6
|
|
Data type specification: Parameterization and the power of specification techniques
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
|
|
May 1978
|
|
STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing
|
|
Publisher: ACM
|
|
Full text available: |
 Pdf
(1.16 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 18, Citation Count: 16 |
|
|
This paper extends our earlier work on abstract data types by providing an algebraic treatment of parametrized data types (e.g., sets-of-(), stacks-of-(), etc.), as well as answering a number of questions on the power and limitations of algebraic specification ...
|
| |
|
| 1977
|
7
|
|
Initial Algebra Semantics and Continuous Algebras
J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright
|
|
January 1977
|
|
Journal of the ACM (JACM)
, Volume 24 Issue 1
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(2.01 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 12, Downloads (12 Months): 108, Citation Count: 74 |
|
|
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra semantics. In this paper an overview of initial algebra semantics is provided. The major technical feature is an initial ...
|
| |
|
| 1976
|
8
|
|
Rational algebraic theories and fixed-point solutions
J. B. Wright, J. W. Thatcher, E. G. Wagner, J. A. Goguen
|
|
October 1976
|
|
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 1 |
|
|
In a wide variety of situations, computer science has found it convenient to define complex object as (fixed-point) solutions of certain equations. This has been done in both algebraic and order-theoretic settings, and has often been contrasted with ...
|
Also published in: |
| October 1976 |
SFCS '76: Proceedings of the 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Volume 00 |
Volume 00 |
|
| |
|
| 1974
|
9
|
|
| 1958
|
10
|
|
Realization of Events by Logical Nets
Irving M. Copi, Calvin C. Elgot, Jesse B. Wright
|
|
April 1958
|
|
Journal of the ACM (JACM)
, Volume 5 Issue 2
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(683.51 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 7, Downloads (12 Months): 35, Citation Count: 10 |
|
|
|
|
| |
|
|
|
|
|
Publisher Site