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.
Preview
Unable to display preview. Download preview PDF.
8. References
Bauer, F.L., Wössner, H.: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981
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
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)
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.
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
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
Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements. Proc. 6th CAAP, Genova 1981
Ganzinger, H.: Parameterized Specifications: Parameter Passing and Optimizing Implementation. Institut für Informatik der TU München, Report TUM-I8110, 1981
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
Guttag, J.V.: Abstract Data Types and the Development of Data Structures. Comm. ACM 20:6, 396–404 (1977)
Guttag, J.V., Horning, J.J.: The Algebraic Specification of Abstract Data Types. Acta Informatica 10, 27–52 (1978)
Laut, A.: Safe Procedural Implementations of Algebraic Types. Inf. Proc. Letters 11:45, 147–151 (1980)
Laut, A., Partsch, H.: Merging Algebraic Types. Institut für Informatik der TU München, Technical Report, to appear
Pepper, P., Partsch, H.: On the Feedback between Specifications and Implementations. Institut für Informatik der TU München, Report TUM-I8011, 1980
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
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
Author information
Authors and Affiliations
Editor information
Rights 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