Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Towards an Efficient Implementation of Distributive Programs

    2nd International Workshop on the Theory and Practice of Algebraic Specifications

    Amsterdam, 25th - 26th September 1997


    S. Vigna


    Programs and data in distributive categories must be coded in some way in order to be executed on standard architectures.

    In the original mathematical description of an IMP.G/ interpreter [KW93] distributive data were coded as words on a suitable set.

    We present a new efficient coding for such data. This coding allows to exploit the known techniques used in run-time environments for object-oriented systems in order to optimize the execution of IMP.G/ programs on RAM machines.

    Moreover, the coding is at the basis of a compiler and bytecode interpreter, which have been described equationally using ASF+SDF.


    PDF filePDF Version of this Paper (252kb)