On the design of algebraic data structures with the approach of abstract data types-Reference-Cited by-同舟云学术

On the design of algebraic data structures with the approach of abstract data types

Published:1979 Issue: Volume: Page:514-530
ISSN:0302-9743
Container-title:Symbolic and Algebraic Computation
language:
Short-container-title:

Author:

Ausiello Giorgio,Mascari Giovanni Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-09519-5_100.pdf

Reference16 articles.

1. (JAG,JWT,ECW) J.A.Goguen, J.W.Thatcher, E.G.Wagner "An initial algebra approach to the specification, correctness, and implementation of abstract data types" IBM Research Report RC-6487, October 1976.

2. (JAG) J.A.Goguen "Abstract errors for abstract data types". UCLA Semantics Theory of Computation Report 6, February 1977. Proceedings IFIP Working Conference on Formal Description of Programming Concepts. St. Andrews, New Brusswick, pp. 21.1–21.32. August 1977.

3. R.M. Burstall and J.A.Goguen "Putting Theories together to make Specifications". Proceedings 1977 IJCAI,MIT, Cambridge, MA, August 1977.

4. H.Ehrig, H.J.Kreowski and P.Padawitz "Stepwise specification and implementation of abstract data types". Technical University of Berlin, Report, March 1978.

5. R.Fateman "Essays in algebraic simplification". Ph.D. diss, Harward U., Cambridge, Mass., 1971.

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

1. Bibliography;Bibliography on Abstract Data Types;1983

2. Bibliographie;Algebraische Spezifikation;1983

3. Algebraic specifications: A constructive methodology in logic programming;Lecture Notes in Computer Science;1982