Pregrado

Permanent URI for this community

Now showing 1 - 1 of 1

Mapico: máquina abstracta para el cálculo pico
(Pontificia Universidad Javeriana Cali, 1999) Buss Molina, Antal Alexander; Heredia Ramírez, Mauricio; Tamura Morimitsu, Gabriel
El cálculo PiCO (A Calculus of Concurrent Constraint Objects for Musical Applications) [ADQ+98] es un cálculo que integra objetos concurrentes y restricciones como elementos básicos, en contraste con algunos cálculos como TyCO [Vas94a] y el cálcu-1ο π [Wal91, MPW92]. En PiCO, el modelo de objetos es extendido con el manejo de restricciones de una manera ortogonal (es decir que la noción de objetos sin restricciones es derivable) adicionando la noción de sistema de restricciones encontrado en el cálculo p [NM95] y la noción de delegación de mensajes. La extensión del cálculo pretende adoptar una manera natural de expresar comportamientos de comunicación con el uso estándar de la sincronización por el método de paso de mensajes. El objetivo de este trabajo es crear una máquina abstracta para dicho cálculo, diseñando el manejo de memoria, almacenamiento y la reducción de los programas, sin pretender profundizar en el sistema de restricciones; manteniendo una equivalencia semántica entre la máquina y el cálculo de tal manera que la especificación y las reglas de reducción de la máquina abstracta sigue las del cálculo PiCO