A model for implementing Euclid modules and type templates

ABSTRACT

The structuring of data has become a central theme in programming language research. The ultimate utility of data structuring techniques such as clustering and type parameterization mechanisms will, however be determined in large part by our ability to provide understandable and efficient implementations. This paper presents an implementation model for the data clustering and type parameterization facilities in Euclid. This model provides a basis for understanding the compile-time and run-time mechanisms necessary to support these features. It is an extension of the implementation model that has traditionally been used for Algol-like languages. Another implementation model (for CLU) has been described in [Atkinson, et.al., 1978].

REFERENCES

• 1: N. Wirth., Modula: A Language for Modular Programming, Software-Practice and Experience, 7(1), January 1977
• 2: Russell R. Atkinson , Barbara H. Liskov , Robert W. Scheifler, Aspects Of Implementing CLU, Proceedings of the 1978 annual conference, p.123-129, December 04-06, 1978, Washington, D.C., United States [doi>10.1145/800127.804079]
• 3: B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
• 4: G. J. Popek , J. J. Horning , B. W. Lampson , J. G. Mitchell , R. L. London, Notes on the design of Euclid, Proceedings of an ACM conference on Language design for reliable software, p.11-18, March 28-30, 1977, Raleigh, North Carolina
• 5: Richard C. Holt , David B. Wortman , James R. Cordy , David R. Crowe, The Euclid Language: a progress report, Proceedings of the 1978 annual conference, p.111-115, December 04-06, 1978, Washington, D.C., United States [doi>10.1145/800127.804077]
• 6: T. W. Pratt, Programming languages: design and implementation (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1983
• 7: Brian Randall , Lawford J. Russell, Algol-60 Implementation, Academic Press, Inc., Orlando, FL, 1964

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Modules, packages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: EUCLID
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures

General Terms:
Languages