Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (AS)
Theory and Practice of Algebraic Specifications
25-26 September 1997
Programs and data in distributive categories must be coded in some way in order to be executed on standard archi- tectures. 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.