Advertisement

Semantics and implementation of prefixing at many levels

  • W. M. Bartol
  • A. Kreczmar
  • A. I. Litwiniuk
  • H. Oktaba
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)

Abstract

A generalization of Simula's prefixing of classes is presented. The notion of one-level prefixing is first introduced by means of the example of Simula 67; the semantics of a programming language with prefixing at many levels is then discussed and analyzed.

The principles for efficiently implementing programming languages with prefixing of classes at many levels are described. A generalized display mechanism is introduced and the correctness of a display update algorithm is proved. A new data structure for efficient identification of dynamic objects is also presented.

Keywords

block structured programming languages classes prefixing methods of implementation Simula 67 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Bartol W.M. "The definition of the semantics of some instructions of a block structured language with type prefixing.", manuscript, 1980.Google Scholar
  2. [2]
    Berry D.M., Chirica L., Johnston J.B., Martin D.F. and Sorkin A. "Time required for reference count management in retention block-structured languages." Part 1, Int. J. Comp. and Inf. Sciences, Vol.7, No.1 (March 1978), pp.11–64.Google Scholar
  3. [3]
    Bobrow D.G., Wegbreit B. "A model and stack implementation of multiple environments", Comm.A.C.M., Vol.16, No.10 (Oct.1973), pp.591–603.Google Scholar
  4. [4]
    Dahl O-J., Myrhaug B., Nygaard K., "Simula 67 Common Base Language", Norwegian Computing Center 1970.Google Scholar
  5. [5]
    Dahl O-J., Wang A., "Coroutine sequencing in a block structured environment", B.I.T. Vol.11 (1971), pp.425–449.Google Scholar
  6. [6]
    Dijkstra E.W., "Recursive programming", Numerische Mathematik 2, Vol.2 (1960), pp.312–318.Google Scholar
  7. [7]
    Gries D., "Compiler construction for digital computers." New York, Wiley 1971.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • W. M. Bartol
    • 1
  • A. Kreczmar
    • 1
  • A. I. Litwiniuk
    • 1
  • H. Oktaba
    • 1
  1. 1.Institute of InformaticsUniversity of WarsawWarsaw, P.K.i N.Poland

Personalised recommendations