Functor Categories and Store Shapes
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.
KeywordsFunctor Category Block Structure Natural Transformation Block Entrance Variable Declaration
Unable to display preview. Download preview PDF.
- [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
- [Rey77]J. C. Reynolds. Semantics of the domain of flow diagrams. J. ACM,24(3):484503, 1977.Google Scholar
- [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
- [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