MAPiCO: An Abstract Machine for the PiCO Calculus. Buss, A. A, Heredia, M., & Tamura, G. abstract bibtex This paper presents a description of the design and implementation of an abstract machine for the PiCO calculus. The aim of this calculus is to integrate the object-oriented, concurrent and constraint programming paradigms, to provide a sound basis for high-level programming languages presenting characteristics of these paradigms. A set of simple transition rules is used to specify the machine operation. These rules are adapted from the transition rules of PiCO and require some supporting structures. A general protocol is built into the abstract machine, that allows interaction with implementations of different constraint systems. MAPiCO is implemented in Java and provides a target machine for the compilation of programs written in Cordial [QRT97], a visual language integrating concurrent objects and constraints.
@article{bussmapico,
title={{MAPiCO: An Abstract Machine for the PiCO Calculus}},
author={Buss, Antal A and Heredia, Mauricio and Tamura, Gabriel},
pdf={http://www.researchgate.net/publication/229121887_MAPiCO_An_Abstract_Machine_for_the_PiCO_Calculus/file/d912f50057acdd7ce4.pdf},
abstract={
This paper presents a description of the design and implementation of an abstract machine for the PiCO calculus.
The aim of this calculus is to integrate the object-oriented, concurrent and constraint programming paradigms, to provide a sound basis for high-level programming languages presenting characteristics of these paradigms.
A set of simple transition rules is used to specify the machine operation. These rules are adapted from the transition rules of PiCO and require some supporting structures.
A general protocol is built into the abstract machine, that allows interaction with implementations of different constraint systems.
MAPiCO is implemented in Java and provides a target machine for the compilation of programs written in Cordial [QRT97], a visual language integrating concurrent objects and constraints.
}
}
Downloads: 0
{"_id":"ZwAHdzvW4CSFMhfaw","bibbaseid":"buss-heredia-tamura-mapicoanabstractmachineforthepicocalculus","author_short":["Buss, A. A","Heredia, M.","Tamura, G."],"bibdata":{"bibtype":"article","type":"article","title":"MAPiCO: An Abstract Machine for the PiCO Calculus","author":[{"propositions":[],"lastnames":["Buss"],"firstnames":["Antal","A"],"suffixes":[]},{"propositions":[],"lastnames":["Heredia"],"firstnames":["Mauricio"],"suffixes":[]},{"propositions":[],"lastnames":["Tamura"],"firstnames":["Gabriel"],"suffixes":[]}],"pdf":"http://www.researchgate.net/publication/229121887_MAPiCO_An_Abstract_Machine_for_the_PiCO_Calculus/file/d912f50057acdd7ce4.pdf","abstract":"This paper presents a description of the design and implementation of an abstract machine for the PiCO calculus. The aim of this calculus is to integrate the object-oriented, concurrent and constraint programming paradigms, to provide a sound basis for high-level programming languages presenting characteristics of these paradigms. A set of simple transition rules is used to specify the machine operation. These rules are adapted from the transition rules of PiCO and require some supporting structures. A general protocol is built into the abstract machine, that allows interaction with implementations of different constraint systems. MAPiCO is implemented in Java and provides a target machine for the compilation of programs written in Cordial [QRT97], a visual language integrating concurrent objects and constraints. ","bibtex":"@article{bussmapico,\n title={{MAPiCO: An Abstract Machine for the PiCO Calculus}},\n author={Buss, Antal A and Heredia, Mauricio and Tamura, Gabriel},\n pdf={http://www.researchgate.net/publication/229121887_MAPiCO_An_Abstract_Machine_for_the_PiCO_Calculus/file/d912f50057acdd7ce4.pdf},\n abstract={\nThis paper presents a description of the design and implementation of an abstract machine for the PiCO calculus.\nThe aim of this calculus is to integrate the object-oriented, concurrent and constraint programming paradigms, to provide a sound basis for high-level programming languages presenting characteristics of these paradigms.\nA set of simple transition rules is used to specify the machine operation. These rules are adapted from the transition rules of PiCO and require some supporting structures.\nA general protocol is built into the abstract machine, that allows interaction with implementations of different constraint systems.\nMAPiCO is implemented in Java and provides a target machine for the compilation of programs written in Cordial [QRT97], a visual language integrating concurrent objects and constraints.\n }\n}\n","author_short":["Buss, A. A","Heredia, M.","Tamura, G."],"key":"bussmapico","id":"bussmapico","bibbaseid":"buss-heredia-tamura-mapicoanabstractmachineforthepicocalculus","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.icesi.edu.co/driso/wp-content/uploads/2018/08/intl-journals6.bib","dataSources":["cLee5cGK6d2PRKA97"],"keywords":[],"search_terms":["mapico","abstract","machine","pico","calculus","buss","heredia","tamura"],"title":"MAPiCO: An Abstract Machine for the PiCO Calculus","year":null}