248
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards an Effcient Implementation of Distributive Programs

      proceedings-article

      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

      Bookmark

            Abstract

            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.

            Content

            Author and article information

            Conference
            September 1997
            September 1997
            : 1-10
            Affiliations
            [0001]Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano

            Milano, Italy
            Article
            10.14236/ewic/AL1997.13
            52431a5c-8743-4c4d-a824-f136fb484c6a
            © Sebastiano Vigna. Published by BCS Learning and Development Ltd. Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications
            AS
            2
            Amsterdam
            25-26 September 1997
            Electronic Workshops in Computing (eWiC)
            Theory and Practice of Algebraic Specifications
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article