- Record: found
- Abstract: found
- Conference Proceedings: found
Towards an Effcient Implementation of Distributive Programs
proceedings-article
September 1997
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
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
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 (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