Mapico: máquina abstracta para el cálculo pico

dc.contributor.advisorTamura Morimitsu, Gabriel
dc.contributor.authorBuss Molina, Antal Alexander
dc.contributor.authorHeredia Ramírez, Mauricio
dc.date.accessioned2025-03-21T15:04:23Z
dc.date.available2025-03-21T15:04:23Z
dc.date.issued1999
dc.description.abstractEl 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 PiCOspa
dc.description.abstractThe PiCO calculus (A Calculus of Concurrent Constraint Objects for Musical Applications) [ADQ+98] is a calculus that integrates concurrent objects and constraints as basic elements, in contrast to some calculi such as TyCO [Vas94a] and the π-1β calculus [Wal91, MPW92]. In PiCO, the object model is extended to handle constraints in an orthogonal manner (i.e., the notion of unconstrained objects is derivable) by adding the notion of a constraint system found in the p-calculus [NM95] and the notion of message delegation. The extension of the calculus aims to adopt a natural way of expressing communication behaviors with standard use of synchronization via message passing. The objective of this work is to create an abstract machine for such a calculus, designing the memory management, storage, and program reduction, without attempting to go into depth into the constraint system; maintaining a semantic equivalence between the machine and the calculus such that the specification and reduction rules of the abstract machine follow those of the PiCO calculuseng
dc.description.degreelevelPregrado
dc.description.degreenameIngeniero(a)de Sistemas y Computación
dc.format.extent144 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/11522/4660
dc.language.isospa
dc.publisherPontificia Universidad Javeriana Cali
dc.publisher.departmentFacultad de Ingeniería y Ciencias
dc.publisher.programIngeniería de Sistemas y Computación
dc.rights.accessrightshttp://purl.org/coar/access_right/c_abf2
dc.rights.creativecommonshttps://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectMáquina abstractaspa
dc.subjectCálculo computacionalspa
dc.subjectAbstract Machineeng
dc.subjectComputational Calculuseng
dc.titleMapico: máquina abstracta para el cálculo picospa
dc.typebachelor thesis
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.type.localTesis/Trabajo de grado - Monografía - Pregrado
dc.type.redcolhttps://purl.org/redcol/resource_type/TP
Files
Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
TG-MAPICO_Maquina_Abstracta.pdf
Size:
3.5 MB
Format:
Adobe Portable Document Format
No Thumbnail Available
Name:
Licencia_autorizacion. pdf
Size:
183.53 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: