Skip to main content
SpringerLink
Log in

Tuning algebraic specifications by type merging

  • Conference paper
  • First Online:
International Symposium on Programming (Programming 1982)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 137))

Included in the following conference series:

  • 108 Accesses

Abstract

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.

This research was carried out within the Sonderforschungsbereich 49, Programmiertechnik, Munich.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. Bauer, F.L., Wössner, H.: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981

    Google Scholar 

  2. 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, 1981

    Google Scholar 

  3. 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, 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, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. Proc. of 5th. Int. Joint Conf. on Art. Int., Cambridge, Ma, 1977, 1045–1058

    Google Scholar 

  6. 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 1980

    Google Scholar 

  7. Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements. Proc. 6th CAAP, Genova 1981

    Google Scholar 

  8. Ganzinger, H.: Parameterized Specifications: Parameter Passing and Optimizing Implementation. Institut für Informatik der TU München, Report TUM-I8110, 1981

    Google Scholar 

  9. 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–149

    Google Scholar 

  10. Guttag, J.V.: Abstract Data Types and the Development of Data Structures. Comm. ACM 20:6, 396–404 (1977)

    Google Scholar 

  11. Guttag, J.V., Horning, J.J.: The Algebraic Specification of Abstract Data Types. Acta Informatica 10, 27–52 (1978)

    Google Scholar 

  12. Laut, A.: Safe Procedural Implementations of Algebraic Types. Inf. Proc. Letters 11:45, 147–151 (1980)

    Google Scholar 

  13. Laut, A., Partsch, H.: Merging Algebraic Types. Institut für Informatik der TU München, Technical Report, to appear

    Google Scholar 

  14. Pepper, P., Partsch, H.: On the Feedback between Specifications and Implementations. Institut für Informatik der TU München, Report TUM-I8011, 1980

    Google Scholar 

  15. 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 1981

    Google Scholar 

  16. 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, 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 20 24 20, 8000, München 2, Germany

    H. Partsch

Authors
  1. A. Laut
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Partsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mariangiola Dezani-Ciancaglini Ugo Montanari

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laut, A., Partsch, H. (1982). Tuning algebraic specifications by type merging. In: Dezani-Ciancaglini, M., Montanari, U. (eds) International Symposium on Programming. Programming 1982. Lecture Notes in Computer Science, vol 137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11494-7_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-11494-7_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11494-9

  • Online ISBN: 978-3-540-39184-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation