skip to main content
article
Free Access

Experience with access functions in an experimental compiler

Published:01 September 1984Publication History
Skip Abstract Section

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.

References

  1. B. H. Liskov, A. Snyder, R. R. Atkinson, and J. C. Schaffert, "Abstraction Mechanisms in CLU," Commun. ACM 20, 564--576 (1977). Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. N. Wirth, "Modula: A Language for Modular Multiprogramming," Software Pract. Exper. 7, 3--35 (1977).Google ScholarGoogle ScholarCross RefCross Ref
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. Abstract Software Specifications. D. Bjorner, Ed., Springer-Verlag New York, Inc., New York, 1979.Google ScholarGoogle Scholar
  6. 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 ScholarGoogle Scholar
  7. B. Kutzler and F. Lichtenberger, Bibliography on Abstract Data Types, Springer-Verlag New York, Inc., New York, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. M. Shaw, "The Impact of Abstraction Concerns on Modern Programming Languages," Proc. IEEE 68, 1119--1130 (1980).Google ScholarGoogle ScholarCross RefCross Ref
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. D. B. Lomet, "Scheme for Invalidating References to Freed Storage," IBM J. Res. Develop. 19, 26--35 (1975).Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGMICRO Newsletter
    ACM SIGMICRO Newsletter  Volume 15, Issue 3
    Is microprogramming dead?
    September 1984
    27 pages
    ISSN:1050-916X
    DOI:10.1145/1096464
    Issue’s Table of Contents

    Copyright © 1984 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 September 1984

    Check for updates

    Qualifiers

    • article
  • Article Metrics

    • Downloads (Last 12 months)12
    • Downloads (Last 6 weeks)3

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!