This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
5. References
Backus, J., "Can programming be liberated from the von Neumann Style? A functional style and its algebra of programs," CACM 21 (8), August 1978.
Burstall, R.M., Goguen, J.A., "Putting Theories Together to Make Specifications," Fifth International Joint Conference on Artificial Intelligence, Cambridge, MA, August 1977.
Guttag, J.V., "Abstract Data Types and the Development of Data Structures," CACM 20 (6), pp. 396–404, June 1977.
Iverson, K.E., "Operators," TOPLAS 2 (1), October 1979.
Kapur, D., Musser, D.R., Stepanov, A.A., "Operators and Algebraic Structures," Proceedings of the Conference on Functional Programming Languages and Computer Architecture, New Hampshire, Oct. 1981.
Liskov, B.H., Snyder, A., Atkinson, R., Schaffert, C., "Abstraction Mechanisms in CLU," CACM 20 (8), pp. 564–576, Aug. 1977.
Nakajima, R., Nakahara, H., Honda, M., "Hierarchical Program Specification and Verification — A Many Sorted Logical Approach," preprint RIMS 256, November 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kapur, D., Musser, D.R., Stepanov, A.A. (1982). Tecton: A language for manipulating generic objects. In: Staunstrup, J. (eds) Program Specification. ProgSpec 1981. Lecture Notes in Computer Science, vol 134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11490-4_24
Download citation
DOI: https://doi.org/10.1007/3-540-11490-4_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11490-1
Online ISBN: 978-3-540-39176-0
eBook Packages: Springer Book Archive