Biblioteca de la Universidad Complutense de Madrid

Un esquema de programación lógico funcional concurrente con restricciones

Impacto



García Toledo, Marcos Miguel (2011) Un esquema de programación lógico funcional concurrente con restricciones. [Trabajo Fin de Máster]

[img]
Vista previa
PDF
2MB


Resumen

En este trabajo vamos a presentar una extensión concurrente para lenguajes de programación lógico funcionales con restricciones que permita modelar aplicaciones declarativas concretas donde la concurrencia y la resolución de restricciones sean necesarias. Codificaremos procesos dentro del esquema CFLP(D), cuyos fundamentos teóricos sobre las semanticas de programas funcionales y lógicos con restricciones sobre un dominio de restricciones paramétrico D, proporcionan un modelo declarativo que permite especificar, implementar y ejecutar, a un nivel superior de abstracción, aplicaciones concurrentes reales, es decir, programas declarativos con restricciones que describen varios procesos para la resolución de objetivos que deben ser ejecutados concurrentemente y cooperar para llevar a cabo tareas específicas mediante estrechamiento dirigido por demanda con árboles definicionales, residuación
declarativa, resolución cooperativa de restricciones, y comunicación o compartición de recursos críticos por medio de sincronización haciendo uso de variables lógicas.
[ABSTRACT]
In this work we sketch a concurrent extension for constraint functional logic programming languages which allows to model concrete declarative applications in which concurrency and constraint solving are necessary. We encode goal solving processes into the CFLP(D) scheme, a uniform foundation for the semantics of functional and constraint
logic programs over a parametrically given constraint domain D, in order to provide a declarative model for the possibility of specify, implement and execute, at a higher level of abstraction, concurrent real-world applications, i.e., declarative constraint programs describing several processes which may be executed concurrently and cooperate together to achieve their specific tasks via demand-driven narrowing with definitional trees, declarative residuation, cooperative constraint solving, and communication or sharing critical resources by means of the synchronization on logic variables.


Tipo de documento:Trabajo Fin de Máster
Información Adicional:

Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2010-2011

Directores (o tutores):
NombreEmail del director (o tutor)
Caballero Roldán, Rafael
Vado Vírseda, Rafael del
Palabras clave:Programación multiparadigma, Restricciones, Concurrencia, Multiparadigm Programming, Constraints, Concurrency
Materias:Ciencias > Informática > Programación de ordenadores
Código ID:13801
Depositado:07 Nov 2011 11:44
Última Modificación:06 Feb 2014 09:53

Sólo personal del repositorio: página de control del artículo