Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

Detalles Bibliográficos
Autores: Bueno Carrillo, Francisco|||0000-0002-5460-5537, García de la Banda, M., Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: informe técnico
Fecha de publicación:1995
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:15081
Acceso en línea:https://oa.upm.es/15081/
Access Level:acceso abierto
Palabra clave:(Constraint) Logic programming
Concurrent constraint programming
Compile-time analysis
Abstract interpretation
Independent and-parallelism
Program transformation
Parallelization
Programación lógica restringida
Programación simultánea restringida
análisis del tiempo de compilación
Interpretación abstracta
Transformación de programas
Paralelización.
id ES_cee83128a130c6fa5d41bb5ab39b913c
oai_identifier_str oai:oa.upm.es:15081
network_acronym_str ES
network_name_str España
repository_id_str
spelling Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.Bueno Carrillo, Francisco|||0000-0002-5460-5537García de la Banda, M.Hermenegildo, Manuel V.|||0000-0002-7583-323X(Constraint) Logic programmingConcurrent constraint programmingCompile-time analysisAbstract interpretationIndependent and-parallelismProgram transformationParallelizationProgramación lógica restringidaProgramación simultánea restringidaanálisis del tiempo de compilaciónInterpretación abstractaTransformación de programasParalelización.19951995-06-01technical reporthttp://purl.org/coar/resource_type/c_18ghinfo:eu-repo/semantics/reporthttps://oa.upm.es/15081/reponame:Archivo Digital UPMinstname:Universidad Politécnica de MadridInglésenopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:oa.upm.es:150812026-06-21T12:45:07Z
dc.title.none.fl_str_mv Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
title Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
spellingShingle Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
Bueno Carrillo, Francisco|||0000-0002-5460-5537
(Constraint) Logic programming
Concurrent constraint programming
Compile-time analysis
Abstract interpretation
Independent and-parallelism
Program transformation
Parallelization
Programación lógica restringida
Programación simultánea restringida
análisis del tiempo de compilación
Interpretación abstracta
Transformación de programas
Paralelización.
title_short Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
title_full Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
title_fullStr Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
title_full_unstemmed Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
title_sort Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
dc.creator.none.fl_str_mv Bueno Carrillo, Francisco|||0000-0002-5460-5537
García de la Banda, M.
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author Bueno Carrillo, Francisco|||0000-0002-5460-5537
author_facet Bueno Carrillo, Francisco|||0000-0002-5460-5537
García de la Banda, M.
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author_role author
author2 García de la Banda, M.
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author2_role author
author
dc.subject.none.fl_str_mv (Constraint) Logic programming
Concurrent constraint programming
Compile-time analysis
Abstract interpretation
Independent and-parallelism
Program transformation
Parallelization
Programación lógica restringida
Programación simultánea restringida
análisis del tiempo de compilación
Interpretación abstracta
Transformación de programas
Paralelización.
topic (Constraint) Logic programming
Concurrent constraint programming
Compile-time analysis
Abstract interpretation
Independent and-parallelism
Program transformation
Parallelization
Programación lógica restringida
Programación simultánea restringida
análisis del tiempo de compilación
Interpretación abstracta
Transformación de programas
Paralelización.
publishDate 1995
dc.date.none.fl_str_mv 1995
1995-06-01
dc.type.none.fl_str_mv technical report
http://purl.org/coar/resource_type/c_18gh
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://oa.upm.es/15081/
url https://oa.upm.es/15081/
dc.language.none.fl_str_mv Inglés
en
language_invalid_str_mv Inglés
en
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
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
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Archivo Digital UPM
instname:Universidad Politécnica de Madrid
instname_str Universidad Politécnica de Madrid
reponame_str Archivo Digital UPM
collection Archivo Digital UPM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869420033606680576
score 15,811543

Similares en LA Referencia