Abstract
This paper describes an access function subsystem embedded in portions of an experimental microcode compiler which was built and used during 1973--6 using the IBM PL/I optimizing compiler under VM/370 and CMS. The use of the access function subsystem in this context was itself an experiment, performed by a group for all of whom PL/I was a new language and VM/370 a new operating system. The implementation of the subsystem was done strictly within the confines of the PL/I language. The basic objectives were ease of use, provision of a focal point for global storage management, extensive run-time validity checking with appropriate diagnostics, and data protection. Beyond satisfying these objectives, the subsystem proved more valuable than anticipated due to positive contributions made to debugging code in the VM/370 interactive development environment.
- B. H. Liskov, A. Snyder, R. R. Atkinson, and J. C. Schaffert, "Abstraction Mechanisms in CLU," Commun. ACM 20, 564--576 (1977). Google Scholar
Digital Library
- B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, and G. L. Popek, "Report on the Programming Language Euclid," Sigplan Notices 12 (February 1977). Google Scholar
Digital Library
- N. Wirth, "Modula: A Language for Modular Multiprogramming," Software Pract. Exper. 7, 3--35 (1977).Google Scholar
Cross Ref
- J. D. Ichbiah, J. C. Heliard, O. Roubine, J. G. P. Barnes, B. Krieg-Brueckner, and B. A. Wichmann, "Rationale for the Design of the Ada Programming Language," Sigplan Notices 12 (June 1979). Google Scholar
Digital Library
- Abstract Software Specifications. D. Bjorner, Ed., Springer-Verlag New York, Inc., New York, 1979.Google Scholar
- Proceedings of the Workshop on Data Abstraction, Databases, and Conceptual Modeling, M. L. Brodic and S. N. Zilles, Eds., Association for Computing Machinery, New York, 1979.Google Scholar
- B. Kutzler and F. Lichtenberger, Bibliography on Abstract Data Types, Springer-Verlag New York, Inc., New York, 1983. Google Scholar
Digital Library
- M. Shaw, "The Impact of Abstraction Concerns on Modern Programming Languages," Proc. IEEE 68, 1119--1130 (1980).Google Scholar
Cross Ref
- W. A. Wulf, "Abstract Data Types: A Retrospective and Prospective View," Proceedings of the 9th Symposium on the Mathematical Foundations of Computer Science, Springer-Verlag New York, Inc., New York, 1980, pp. 94--112. Google Scholar
Digital Library
- D. B. Lomet, "Scheme for Invalidating References to Freed Storage," IBM J. Res. Develop. 19, 26--35 (1975).Google Scholar
Digital Library
- F. E. Allen, J. L. Carter, J. Fabri, J. Ferrante, W. H. Harrison, P. G. Loewner, and L. H. Trevillyan, "The Experimental Compiling System," IBM J. Res. Develop. 24, 695--715 (1980).Google Scholar
Digital Library
- John A. Darringer, William H. Joyner, Jr., C. Leonard Berman, and Louise Trevillyan, "Logic Synthesis Through Local Transformations," IBM J. Res. Develop. 25, 272--280 (1981).Google Scholar
Digital Library
Recommendations
Experience with access functions in an experimental compiler
This paper describes an access function subsystem embedded in portions of an experimental microcode compiler which was built and used during 1973-6 using the IBM PL/I optimizing compiler under VM/370 and CMS. The use of the access function subsystem in ...
An experimental general purpose compiler
AFIPS '67 (Spring): Proceedings of the April 18-20, 1967, spring joint computer conferenceWith the advent of numerous programming languages, both special and general purpose, much interest has been generated in developing newer and higher level programming languages. Two notable approaches have been taken in the attempt to provide language ...
Experience with an experimental compiler generator based on denotational semantics
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionCompiler generation based on formal semantics has received considerable attention in recent years from a number of semanticists. Compiler writers, on the other hand, know relatively little about these efforts. This paper tries to remedy this situation ...






Comments