Advertisement

Tecton: A language for manipulating generic objects

  • Deepak Kapur
  • David R. Musser
  • Alexander A. Stepanov
Chapter 5 Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)

Keywords

Generic Object Entity Type Message Type Message System Class Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. 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. 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. 3.
    Guttag, J.V., "Abstract Data Types and the Development of Data Structures," CACM 20 (6), pp. 396–404, June 1977.Google Scholar
  4. 4.
    Iverson, K.E., "Operators," TOPLAS 2 (1), October 1979.Google Scholar
  5. 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. 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. 7.
    Nakajima, R., Nakahara, H., Honda, M., "Hierarchical Program Specification and Verification — A Many Sorted Logical Approach," preprint RIMS 256, November 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Deepak Kapur
    • 1
  • David R. Musser
    • 1
  • Alexander A. Stepanov
    • 1
  1. 1.General Electric Research and Development CenterSchenectadyUSA

Personalised recommendations