Parameterized data types in algebraic specification languages

1. ADJ (JAG, JWT, EGW, JBW). "Abstract data types as initial algebras and correctness of data representations," Proceedings, Conference on Computer Graphics, Pattern Recognition and Data Structure, May 1975, pp. 89–93.

   Google Scholar 

2. ADJ (JWT, EGW, JBW) "Specification of abstract data types using conditional axioms," IBM Research Report RC-6214, September 1976.

   Google Scholar 

3. ADJ (JAG, JWT, EGW) "An initial algebra approach to the specification, correctness, and implementation of abstract data types," IBM Research Report RC-6487, October 1976. Current Trends in Programming Methodology, IV: Data Structuring (R. T. Yeh, Ed.) Prentice Hall, New Jersey (1978) 80–149.

   Google Scholar 

4. ADJ (JWT, EGW, JBW) "Data Type Specification: parameterization and the power of specification techniques," Proceedings, SIGACT 10th Annual Symposium on Theory of Computing, May, 1978, pp. 119–132.

   Google Scholar 

5. ADJ (HE, H-JK, JWT, EGW, JBW) "Parameter passing in algebraic specification languages," Technical Report to appear, 1980.

   Google Scholar 

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

   Google Scholar 

7. Burstall, R.M. and Goguen, J.A. "Semantics of CLEAR," Working Note — Draft version, Department of Artificial Intelligence, Edinburgh University, January, 1979.

   Google Scholar 

8. Burstall, R.M. and Goguen, J.A. "The semantics of CLEAR, A specification Language," Working Draft, Edinburgh University, January, 1980. To appear, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification.

   Google Scholar 

9. Cohn, P.M. Universal Algebra, Harper and Row, New York, 1965.

   Google Scholar 

10. Ehrich, H.-D. "On the theory of specification, implementation and parameterization of abstract data types," Research report, Dortmund, 1978. Short version, Lecture Notes in Computer Science 64 (1978) 155–164.

    Google Scholar 

11. Ehrig, H. and Kreowski, H.-J. "Some remarks concerning correct specification and implementation of abstract data types," Technical University of Berlin, Report 77-13, August 1977.

    Google Scholar 

12. Ehrig, H., Kreowski, H.-J. and Padawitz, P. "Stepwise specification and implementation of abstract data types," Technical University of Berlin, Report, November 1977. Proceedings 5^th ICALP, Udine, July 1978: Lecture Notes in Computer Science (1978).

    Google Scholar 

13. Ehrig, H., Kreowski, H.-J. and Padawitz, P. "Algebraic implementation of abstract data types: concept, syntax, semantics, correctness," This volume.

    Google Scholar 

14. Goguen, J.A. and Tardo, J. "OBJ-0 preliminary users manual," UCLA, Los Angeles, CA. 1977.

    Google Scholar 

15. Graetzer, G. Universal Algebra, Van Nostrand, Princeton, NJ, 1968.

    Google Scholar 

16. Guttag, J.V. "The specification and application to programming of abstract data types," Univ. of Toronto, Computer Systems Research Group, Technical Report CSRG-59, September, 1975.

    Google Scholar 

17. Guttag, J.V. "Abstract data types and the development of data structures," supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March, 1976.

    Google Scholar 

18. Guttag, J.V. "The algebraic specification of abstract data types," USC Computer Science Department, Draft Manuscript, April, 1977.

    Google Scholar 

19. Kreowski, Hans-Jörg. "Notes on the power of equational specification: an example," Manuscript, Technical University Berlin. September, 1979.

    Google Scholar 

20. Liskov, Barbara, Snyder, Alan, Atkinson, Russel, and Schaffert, Craig. "Abstraction mechanisms in CLU," CACM 20, Nr. 8 (1977) 564–576.

    Google Scholar 

21. Liskov, Barbara and Zilles, Stephen. "Programming with abstract data types," SIGPLAN Notices 9, Nr.4 (1977) 50–59.

    Google Scholar 

22. Scott, Dana. "Mathematical concepts in programming language semantics," Proceedings, AFIPS Spring Joint Computer Conference, 1962, pp. 225–234.

    Google Scholar 

23. Wulf, W.A., London, R.L., and Shaw, M. "An introduction to the construction and verification of Alphard programs," IEEE Transactions on Software Engineering SE-2 4 (1976)253–265.

    Google Scholar 

24. Zilles, S.N. "An introduction to data algebras," working draft paper, IBM Research, San Jose, September, 1975.

    Google Scholar 

Download references