Advertisement

Programming languages as mathematical objects

  • Eric G. Wagner
  • James W. Thatcher
  • Jesse B. Wright
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)

Keywords

Programming Language Partial Function Rational Theory Algebraic Theory Bottom Element 
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.

References

  1. (1973) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "A Junction between computer science and category theory: I, Basic definitions and examples," Part 1, IBM Research report RC 4526, Sept 1973.Google Scholar
  2. (1974) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Initial algebra semantics," Extended Abstract, IBM Research Report RC-4865, May 1974. Proceedings, 15th IEEE Symposium on Switching and Automata Theory (1974) pp. 63–77. Full paper, IBM Research Report RC-5243, January 1975. (See 1975a listing.)Google Scholar
  3. (1975) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Introduction to categories, algebraic theories and algebras," IBM Research Report RC-5369, April 1975.Google Scholar
  4. (1975b) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Initial algebra semantics and continuous algebras," IBM Research Report RC-5701. November 1975. JACM 24 (1977) pp. 68–95.CrossRefGoogle Scholar
  5. (1976) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "A junction between computer science and category theory: I, Basic definitions and examples," Part 2, IBM Research Report RC-5908, March 1976.Google Scholar
  6. (1976a) (EGW, JBW, JAG, JWT) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Some fundamentals of order-algebraic semantics," Lecture Notes in Computer Science 45 (Mathematical Foundations of Computer Science 1976) pp.153–168. IBM Research Report RC-6020, May 1976.Google Scholar
  7. (1976b) (JBW, JWT, EGW, JAG) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Rational algebraic theories and fixed-point solutions," Extended Abstract, IBM Research Report RC-6116, May 1976. Proceedings, 17th IEEE Symposium on Foundations of Computing, Houston, Texas, October, 1976, pp. 147–158.Google Scholar
  8. (1977) (JBW, EGW, JWT) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "A uniform approach to inductive posets and inductive closure." Lecture Notes in Computer Science 53 (Mathematical Foundations of Computer Science 1977), pp. 192–212. IBM Research Report RC-6817, October 1977. To appear, Theoretical Computer Science, 1978.Google Scholar
  9. (1977a) (EGW, JWT, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Free continuous theories," IBM Research Report RC-6906, December 1977.Google Scholar
  10. (1978a) (JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Many-sorted and Ordered Algebraic Theories," IBM Research Report in preparation.Google Scholar
  11. (1978b) (JBW, JWT, EGW) J. A. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright "Z-Continuity, Z-Inductiveness and Products," IBM Research Report in preparation.Google Scholar
  12. (1978c) (EGW, JBW, JWT) "Z-inductive, Z-completions of Ordered Theories," IBM Research Report in preparation.Google Scholar
  13. Elgot, C. E. (1973) "Monadic computation and iterative algebraic theories," IBM Research Report RC-4564, October 1973. Proceedings, Logic Colloquium '73, North Holland Publishing Company (1975) 175–230.Google Scholar
  14. Engelfriet, J. and Schmidt, E. M. (1975) "IO and OI," Matematisk Institut, Aarhus Universitet, report DAIMI PB-47, (July 1975).Google Scholar
  15. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag, New York, Heidelberg, Berlin (1971).Google Scholar
  16. Maibaum, T. S. E. (1974) "A generalized approach to formal languages," JCSS 8 (1974) 409–439.Google Scholar
  17. Manes, E. G. (1976) Algebraic Theories, Springer-Verlag, New York, Heidelberg, Berlin, (1975).Google Scholar
  18. Nivat, M. (1972) "Languages algebraic sur le magma libre et semantique des schemas de programme," in Automata, Languages and Programming (M. Nivat, Ed.) North Holland (1972) 293–308.Google Scholar
  19. Scott, D. (1970) The lattice of flow diagrams, Oxford University Computing Laboratory, Tech. Monograph PRG-3 (November 1970).Google Scholar
  20. Strong, H. R., Jr. (1971) "High level languages of Maximum Power," IBM Research Report RC-3352. May 1971.Google Scholar
  21. Wagner, E.G. (1971) "An algebraic theory of recursive definitions and recursive languages," Proceedings, 3rd Annual ACM Symposium on Theory of Computing, Shaker Heights, Ohio (1971)Google Scholar
  22. (1973) "From algebras to programming languages," Proceedings, th ACM Symp. on Theory of Computing, Austin, Texas (1973)Google Scholar
  23. (1974) Notes on categories, algebras, and programming languages, Lecture notes from a course given at Queen Mary College of University of London, Spring 1974.Google Scholar
  24. Wand, M. (1973) "Mathematical foundations of formal language theory," MIT, Project Mac Report MAC TR-108. (1974)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Eric G. Wagner
    • 1
  • James W. Thatcher
    • 1
  • Jesse B. Wright
    • 1
  1. 1.IBM T. J. Watson Research CenterYorktown HeightsUSA

Personalised recommendations