Tuning algebraic specifications by type merging

  • A. Laut
  • H. Partsch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 137)


Although modularized algebraic specifications consisting of a number of types hierarchically based on each other are well comprehensible, they often have the disadvantage of being too much decomposed and hence not directly suited for finding efficient implementations. The paper presents a formal method for overcoming this drawback by combining suitable hierarchical types while simultaneously specifying new (combined) operations.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. /Bauer, Wössner 81/.
    Bauer, F.L., Wössner, H.: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981Google Scholar
  2. /Bauer et al. 81a/
    Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Partsch, H., Pepper, P., Samelson, K. (†), Wirsing, M., Wössner, H.: Report on a Wide Spectrum Language for Program Specification and Development. Institut für Informatik der TU München, Report TUM-I8104, 1981Google Scholar
  3. /Bauer et al. 81b/
    Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Krieg-Brückner, B., Laut, A., Luckmann, M., Matzner, T., Möller, B., Partsch, H., Pepper, P., Samelson, K. (†), Steinbrüggen, R., Wirsing, M., Wössner, H.: Programming in a Wide Spectrum Language: a Collection of Examples. Science of Computer Programming 1, 73–114 (1981)Google Scholar
  4. /Broy et al. 80/
    Broy, M., Möller, B., Pepper, P., Wirsing, M.: A Model-Independent Approach to Implementations of Abstract Data Types. 2nd Workshop on Algebraic Methods in Programming, Rocquencourt, 27.–29.10.1980.Google Scholar
  5. /Burstall, Goguen 77/.
    Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. Proc. of 5th. Int. Joint Conf. on Art. Int., Cambridge, Ma, 1977, 1045–1058Google Scholar
  6. /Burstall, Goguen 80/.
    Burstall, R.M., Goguen, J.A.: The Semantics of CLEAR, a Specification Language. Proc. of 1979 Copenhagen Winter School on Abstract Software Specifications, 1980. Lecture Notes in Computer Science, Berlin-Heidelberg-New York: Springer 1980Google Scholar
  7. /Ehrig 81/.
    Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements. Proc. 6th CAAP, Genova 1981Google Scholar
  8. /Ganzinger 81/.
    Ganzinger, H.: Parameterized Specifications: Parameter Passing and Optimizing Implementation. Institut für Informatik der TU München, Report TUM-I8110, 1981Google Scholar
  9. /Goguen et al. 78/
    Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In: Yeh, R.T. (ed.): Current Trends in Programming Methodology, Vol. 3: Data Structuring. Englewood Cliffs, NJ: Prentice-Hall 1978, 80–149Google Scholar
  10. /Guttag 77/.
    Guttag, J.V.: Abstract Data Types and the Development of Data Structures. Comm. ACM 20:6, 396–404 (1977)Google Scholar
  11. /Guttag, Horning 78/.
    Guttag, J.V., Horning, J.J.: The Algebraic Specification of Abstract Data Types. Acta Informatica 10, 27–52 (1978)Google Scholar
  12. /Laut 80/.
    Laut, A.: Safe Procedural Implementations of Algebraic Types. Inf. Proc. Letters 11:45, 147–151 (1980)Google Scholar
  13. /Laut, Partsch 82/.
    Laut, A., Partsch, H.: Merging Algebraic Types. Institut für Informatik der TU München, Technical Report, to appearGoogle Scholar
  14. /Pepper, Partsch 80/.
    Pepper, P., Partsch, H.: On the Feedback between Specifications and Implementations. Institut für Informatik der TU München, Report TUM-I8011, 1980Google Scholar
  15. /Wirsing, Broy 81/.
    Wirsing, M., Broy, M.: An Analysis of Semantic Models for Algebraic Specifications. Working Material for the Int. Summer School on Theoretical Foundations of Programming Methodology, Marktoberdorf 1981Google Scholar
  16. /Wirsing et al. 80/
    Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On Hierarchies of Abstract Data Types. Institut für Informatik der TU München, Report TUM-I8007, 1980Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • A. Laut
  • H. Partsch
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany

Personalised recommendations