Concepedia

Constructing specification morphisms

Douglas R. Smith

Journal of Symbolic Computation · 1993 · 48 citations · 19 references

DOI

References

19

Proceedings of the National Conference on Artificial Intelligence

Chiara Piacentini, Maria Fox, Derek Long · 2015 · 1.2K citations

, , +9

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

, , +12

The algebraic specification of abstract data types

John V. Guttag, J. J. Horning · Acta Informatica · 1978 · 521 citations

, , +13

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 496 citations

, , +12

Putting theories together to make specifications

R. M. Burstall, Joseph A. Goguen · International Joint Conference on Artificial Intelligence · 1977 · 421 citations

, , +9