Example 1: Geometrical constructions

  • Joseph A. Goguen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)


Geometrical Construction Computer Science Department Analytic Geometry Forgetful Functor Abstract Data Type 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Burstall & Goguen 77]
    Burstall, R. M. and Goguen, J. A. Putting Theories together to Make Specifications. Proc. 5th Int. Joint Confr. on Artificial Intelligence, 1977.Google Scholar
  2. [Burstall & Goguen 80]
    Burstall, R. M., and Goguen, J. A. The Semantics of CLEAR, a Specification Language. In Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, pages 292–332. Springer-Verlag, 1980. Lecture Notes in Computer Science, volume 86.Google Scholar
  3. [Burstall & Goguen 81]
    Burstall, R. M. and Goguen, J. A. An Informal Introduction to CLEAR, a Specification Language. In Boyer, R. and Moore, J, editor, The Correctness Problem in Computer Science,. Academic Press, 1981.Google Scholar
  4. [Goguen & Burstall 80]
    Goguen, J. A. and Burstall, R. M. An Ordinary Design. Technical Report, SRI International, 1980. Draft report.Google Scholar
  5. [Goguen & Tardo 79]
    Goguen, J. A. and Tardo, J. An Introduction to OBJ-T. In Specification of Reliable Software, pages 170–189. IEEE (Cambridge, Mass.), 1979.Google Scholar
  6. [Goguen, Thatcher, Wagner & Wright 77]
    Goguen, J. A., Thatcher, J. W., Wagner, E. and Wright, J. B. Initial Algebra Semantics and Continuous Algebras. Journal of the Association for Computing Machinery 24(1), January, 1977.Google Scholar
  7. [Goguen 77]
    Goguen, J. A. Abstract Errors for Abstract Data Types. In Working Conference on Formal Description of Programming Concepts. IFIP, 1977. Also published by North-Holland, 1979, edited by P. Neuhold.Google Scholar
  8. [Goguen 78]
    Goguen, J. A. Order Sorted Algebra. Technical Report, UCLA Computer Science Department, 1978. Semantics and Theory of Computation Report No. 14; to appear in Journal of Computer and System Science.Google Scholar
  9. [Goguen 81]
    Goguen, J. ORDINARY Specification of KWIC Index Generation. In,. Springer-Verlag, 1981. these proceedings, Lecture Notes in Computer Science.Google Scholar
  10. [Guttag 75]
    Guttag, J. V. The Specification and Application to Programming of Abstract Data Types. PhD thesis, Univ. of Toronto, 1975. Computer Science Department, Report CSRG-59.Google Scholar
  11. [Jensen & Wirth 78]
    Jensen, K. and Wirth, N. Pascal User Manual and Report. Springer-Verlag, 1978. second edition.Google Scholar
  12. [Kaphengst & Reichel 77]
    Kaphengst, H. and Reichel, H. Initial Algebraic Semantics for Non-Context-Free Languages. In Springer-Verlag Lecture Notes in Computer Science, vol. 56, pages 120–126. Springer-Verlag, 1977.Google Scholar
  13. [Levitt, Robinson & Silverberg 79]
    Levitt, K., Robinson, L. and Silverberg, B. The HDM Handbook. Technical Report, SRI, International, Computer Science Lab, 1979. vols. I,II,III.Google Scholar
  14. [Morrill et al 72]
    Morrill, W. K., Selby, S. M. and Johnson, W. G. Modern Analytic Geometry. Intext (Scranton Penn.), 1972.Google Scholar
  15. [Rabin 60]
    Rabin, M. Computable Algebra: General Theory and Theory of Computable Fields. Transactions of the American Mathematical Society 95:341–360, 1960.Google Scholar
  16. [Reichel & Hupbach & Kaphengst 80]
    Reichel, H., Hupbach, U. R., and Kaphengst, H. Initial Algebraic Specifications of Data Types, Parameterized Data Types, and Algorithms. Technical Report, VEB Robotron, Zentrum fur Forschung und Technik, 1980.Google Scholar
  17. [Staunstrup 81]
    Staunstrup, J. Geometrical Constructions. In,. Springer-Verlag, 1981. these proceedings, Lecture Notes in Computer Science.Google Scholar
  18. [Wand 77]
    Wand, M. Final Algebra Semantics and Data Type Extensions. Technical Report, Indiana University, Computer Science Department, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Joseph A. Goguen
    • 1
  1. 1.Computer Science LaboratorySRI InternationalUSA

Personalised recommendations