Advertisement

Parameterized data types in algebraic specification languages

Short version
  • Hartmut Ehrig
  • Hans-Jörg Kreowski
  • James Thatcher
  • Eric Wagner
  • Jesse Wright
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 85)

Keywords

Data Type Parameterized Type Forgetful Functor Abstract Data Type Parameter Passing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [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. [2]
    ADJ (JWT, EGW, JBW) "Specification of abstract data types using conditional axioms," IBM Research Report RC-6214, September 1976.Google Scholar
  3. [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. [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. [5]
    ADJ (HE, H-JK, JWT, EGW, JBW) "Parameter passing in algebraic specification languages," Technical Report to appear, 1980.Google Scholar
  6. [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. [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. [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. [9]
    Cohn, P.M. Universal Algebra, Harper and Row, New York, 1965.Google Scholar
  10. [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. [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. [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 5th ICALP, Udine, July 1978: Lecture Notes in Computer Science (1978).Google Scholar
  13. [13]
    Ehrig, H., Kreowski, H.-J. and Padawitz, P. "Algebraic implementation of abstract data types: concept, syntax, semantics, correctness," This volume.Google Scholar
  14. [14]
    Goguen, J.A. and Tardo, J. "OBJ-0 preliminary users manual," UCLA, Los Angeles, CA. 1977.Google Scholar
  15. [15]
    Graetzer, G. Universal Algebra, Van Nostrand, Princeton, NJ, 1968.Google Scholar
  16. [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. [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. [18]
    Guttag, J.V. "The algebraic specification of abstract data types," USC Computer Science Department, Draft Manuscript, April, 1977.Google Scholar
  19. [19]
    Kreowski, Hans-Jörg. "Notes on the power of equational specification: an example," Manuscript, Technical University Berlin. September, 1979.Google Scholar
  20. [20]
    Liskov, Barbara, Snyder, Alan, Atkinson, Russel, and Schaffert, Craig. "Abstraction mechanisms in CLU," CACM 20, Nr. 8 (1977) 564–576.Google Scholar
  21. [21]
    Liskov, Barbara and Zilles, Stephen. "Programming with abstract data types," SIGPLAN Notices 9, Nr.4 (1977) 50–59.Google Scholar
  22. [22]
    Scott, Dana. "Mathematical concepts in programming language semantics," Proceedings, AFIPS Spring Joint Computer Conference, 1962, pp. 225–234.Google Scholar
  23. [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. [24]
    Zilles, S.N. "An introduction to data algebras," working draft paper, IBM Research, San Jose, September, 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Hans-Jörg Kreowski
    • 1
  • James Thatcher
    • 2
  • Eric Wagner
    • 2
  • Jesse Wright
    • 2
  1. 1.Fachbereich Informatik (20) Institut für Software und Theoretische InformatikTechnische Universität BerlinBerlin 10Germany
  2. 2.Mathematical Sciences DepartmentIBM Research CenterYorktown HeightsUSA

Personalised recommendations