Description and optimization of abstract machines in a dialect of Prolog

Detalles Bibliográficos
Autores: Morales Caballero, José Francisco, Carro Liñares, Manuel|||0000-0001-5199-3135, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: informe técnico
Fecha de publicación:2009
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:55478
Acceso en línea:https://oa.upm.es/55478/
Access Level:acceso abierto
Palabra clave:Abstract machines
Compilation
Optimization
Program transformation
Prolog
Logic languages
id ES_5591cc468cdaeccd2437cd6f32f7e373
oai_identifier_str oai:oa.upm.es:55478
network_acronym_str ES
network_name_str España
repository_id_str
spelling Description and optimization of abstract machines in a dialect of PrologMorales Caballero, José FranciscoCarro Liñares, Manuel|||0000-0001-5199-3135Hermenegildo, Manuel V.|||0000-0002-7583-323XAbstract machinesCompilationOptimizationProgram transformationPrologLogic languages20092009-10-01technical reporthttp://purl.org/coar/resource_type/c_18ghinfo:eu-repo/semantics/reporthttps://oa.upm.es/55478/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:554782026-06-21T12:45:07Z
dc.title.none.fl_str_mv Description and optimization of abstract machines in a dialect of Prolog
title Description and optimization of abstract machines in a dialect of Prolog
spellingShingle Description and optimization of abstract machines in a dialect of Prolog
Morales Caballero, José Francisco
Abstract machines
Compilation
Optimization
Program transformation
Prolog
Logic languages
title_short Description and optimization of abstract machines in a dialect of Prolog
title_full Description and optimization of abstract machines in a dialect of Prolog
title_fullStr Description and optimization of abstract machines in a dialect of Prolog
title_full_unstemmed Description and optimization of abstract machines in a dialect of Prolog
title_sort Description and optimization of abstract machines in a dialect of Prolog
dc.creator.none.fl_str_mv Morales Caballero, José Francisco
Carro Liñares, Manuel|||0000-0001-5199-3135
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author Morales Caballero, José Francisco
author_facet Morales Caballero, José Francisco
Carro Liñares, Manuel|||0000-0001-5199-3135
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author_role author
author2 Carro Liñares, Manuel|||0000-0001-5199-3135
Hermenegildo, Manuel V.|||0000-0002-7583-323X
author2_role author
author
dc.subject.none.fl_str_mv Abstract machines
Compilation
Optimization
Program transformation
Prolog
Logic languages
topic Abstract machines
Compilation
Optimization
Program transformation
Prolog
Logic languages
publishDate 2009
dc.date.none.fl_str_mv 2009
2009-10-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/55478/
url https://oa.upm.es/55478/
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_ 1869408297919971328
score 15,811543