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

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 CF...

Descripción completa

Detalles Bibliográficos
Autor: García Toledo, Marcos Miguel
Tipo de recurso: tesis de maestría
Fecha de publicación:2011
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/46385
Acceso en línea:https://hdl.handle.net/20.500.14352/46385
Access Level:acceso abierto
Palabra clave:004.42.048(043.3)
004.42.047(043.3)
004.42.046(043.3)
Programación multiparadigma
Restricciones
Concurrencia
Multiparadigm Programming
Constraints
Concurrency
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_0efa8a77034bab9feaaeb52ab3286d11
oai_identifier_str oai:docta.ucm.es:20.500.14352/46385
network_acronym_str ES
network_name_str España
repository_id_str
spelling Un esquema de programación lógico funcional concurrente con restriccionesGarcía Toledo, Marcos Miguel004.42.048(043.3)004.42.047(043.3)004.42.046(043.3)Programación multiparadigmaRestriccionesConcurrenciaMultiparadigm ProgrammingConstraintsConcurrencyProgramación de ordenadores (Informática)1203.23 Lenguajes de ProgramaciónEn 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.Caballero Roldán, RafaelVado Vírseda, Rafael delUniversidad Complutense de Madrid20112011-01-0120112011-01-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/46385reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/463852026-06-02T12:44:21Z
dc.title.none.fl_str_mv Un esquema de programación lógico funcional concurrente con restricciones
title Un esquema de programación lógico funcional concurrente con restricciones
spellingShingle Un esquema de programación lógico funcional concurrente con restricciones
García Toledo, Marcos Miguel
004.42.048(043.3)
004.42.047(043.3)
004.42.046(043.3)
Programación multiparadigma
Restricciones
Concurrencia
Multiparadigm Programming
Constraints
Concurrency
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
title_short Un esquema de programación lógico funcional concurrente con restricciones
title_full Un esquema de programación lógico funcional concurrente con restricciones
title_fullStr Un esquema de programación lógico funcional concurrente con restricciones
title_full_unstemmed Un esquema de programación lógico funcional concurrente con restricciones
title_sort Un esquema de programación lógico funcional concurrente con restricciones
dc.creator.none.fl_str_mv García Toledo, Marcos Miguel
author García Toledo, Marcos Miguel
author_facet García Toledo, Marcos Miguel
author_role author
dc.contributor.none.fl_str_mv Caballero Roldán, Rafael
Vado Vírseda, Rafael del
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.42.048(043.3)
004.42.047(043.3)
004.42.046(043.3)
Programación multiparadigma
Restricciones
Concurrencia
Multiparadigm Programming
Constraints
Concurrency
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
topic 004.42.048(043.3)
004.42.047(043.3)
004.42.046(043.3)
Programación multiparadigma
Restricciones
Concurrencia
Multiparadigm Programming
Constraints
Concurrency
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
description 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.
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-01-01
2011
2011-01-01
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/46385
url https://hdl.handle.net/20.500.14352/46385
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869403427978608640
score 15,300719

Similares en LA Referencia