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