Abstract data types as lattices of finitely generated models-Reference-Cited by-同舟云学术

Abstract data types as lattices of finitely generated models

Published: Issue: Volume: Page:673-685
ISSN:
Container-title:Mathematical Foundations of Computer Science 1980
language:
Short-container-title:

Author:

Wirsing M.,Broy M.

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0022542.pdf

Reference29 articles.

1. J.W. Thatcher, E.G. Wagner, J.B. Wright: Specification of abstract data types using conditional axioms. IBM Research Report RC-6214, 1977

2. J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: R.T. Yeh (ed.): Current Trends in Programming Methodology, Vol. 3, Data Structuring, N.J.: Prentice Hall, 1978

3. J.W. Thatcher, E.G. Wagner, J.B. Wright: Data type specification: Parameterization and the power of specification techniques. Proc. SIGACT 10th Annual Symposion on the Theory of Computing, 1978

4. F. L. Bauer, H. Wössner: Algorithmic language and program development. (to appear)

5. J.A. Bergstra, J.V. Tucker: Algebraic specifications of computable and semicomputable data structures. Afdeling Informatice Amsterdam, IW 115/79

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Chaos to Undefinedness;Algebra, Meaning, and Computation;2006

2. Equality-Test and If-Then-Else Algebras: Axiomatization and Specification;SIAM Journal on Computing;1991-08

3. Algebraic Specification;Formal Models and Semantics;1990

4. Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science;Algebraic Techniques;1989

5. Crypt-equivalent algebraic specifications;Acta Informatica;1988-05