Skip to main content
SpringerLink
Log in

Tecton: A language for manipulating generic objects

  • Chapter 5 Submitted Papers
  • Conference paper
  • First Online:
Program Specification (ProgSpec 1981)

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

Included in the following conference series:

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.

5. References

  1. Backus, J., "Can programming be liberated from the von Neumann Style? A functional style and its algebra of programs," CACM 21 (8), August 1978.

    Google Scholar 

  2. Burstall, R.M., Goguen, J.A., "Putting Theories Together to Make Specifications," Fifth International Joint Conference on Artificial Intelligence, Cambridge, MA, August 1977.

    Google Scholar 

  3. Guttag, J.V., "Abstract Data Types and the Development of Data Structures," CACM 20 (6), pp. 396–404, June 1977.

    Google Scholar 

  4. Iverson, K.E., "Operators," TOPLAS 2 (1), October 1979.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Liskov, B.H., Snyder, A., Atkinson, R., Schaffert, C., "Abstraction Mechanisms in CLU," CACM 20 (8), pp. 564–576, Aug. 1977.

    Google Scholar 

  7. Nakajima, R., Nakahara, H., Honda, M., "Hierarchical Program Specification and Verification — A Many Sorted Logical Approach," preprint RIMS 256, November 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. General Electric Research and Development Center, 12345, Schenectady, New York, USA

    Deepak Kapur, David R. Musser & Alexander A. Stepanov

Authors
  1. Deepak Kapur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David R. Musser
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander A. Stepanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jørgen Staunstrup

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation