Functor Categories and Store Shapes

  • Frank J. Oles
Part of the Progress in Theoretical Computer Science book series (PTCS)

Abstract

An intuitive grasp of the nature of variable declarations and of what is happening as one enters and exits from blocks is essential to programming in an Algol-like language. However, a precise semantic description of the constructs involved is difficult, and it is particularly difficult if one wants semantics for block structure that mesh elegantly with semantics for procedures.

Keywords

Functor Category Block Structure Natural Transformation Block Entrance Variable Declaration 
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. [01e82]
    F. J. Oles. A Category-Theoretic Approach to the Semantics of Programming Languages. Ph.D. thesis, Syracuse University, Syracuse, N.Y., 1982.Google Scholar
  2. [Rey77]
    J. C. Reynolds. Semantics of the domain of flow diagrams. J. ACM,24(3):484503, 1977.Google Scholar
  3. [Rey81]
    J. C. Reynolds. The essence of ALGOL In J. W. de Bakker and J. C. van Vliet, editors, Algorithmic Languages, Proceedings of the International Symposium on Algorithmic Languages, pages 345–372, Amsterdam, October 1981. North-Holland, Amsterdam See Chapter 3.Google Scholar
  4. [Sco71]
    D. S. Scott. The lattice of flow diagrams. In E. Engeler, editor, Symposium on Semantics of Algorithmic Languages,volume 188 of Lecture Notes in Mathematics,pages 311–66. Springer-Verlag, Berlin, 1971. Also Technical Monograph PRG-3, Oxford University Computing Laboratory, Programming Research Group, Oxford.Google Scholar

Copyright information

© Springer Science+Business Media New York 1997

Authors and Affiliations

  • Frank J. Oles

There are no affiliations available

Personalised recommendations