892
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards an Effcient Implementation of Distributive Programs

      Published
      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
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/AL1997.13
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article