Improving the compilation of Prolog to C using moded types and determinism information

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:2004
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:55503
Acceso en línea:https://oa.upm.es/55503/
Access Level:acceso abierto
Palabra clave:Prolog
C
Optimizing compilation
Global analysis
id ES_4121d191448e7e55e1ea303ef56c4b21
oai_identifier_str oai:oa.upm.es:55503
network_acronym_str ES
network_name_str España
repository_id_str
spelling Improving the compilation of Prolog to C using moded types and determinism informationMorales Caballero, José FranciscoCarro Liñares, Manuel|||0000-0001-5199-3135Hermenegildo, Manuel V.|||0000-0002-7583-323XPrologCOptimizing compilationGlobal analysis20042004-04-01technical reporthttp://purl.org/coar/resource_type/c_18ghinfo:eu-repo/semantics/reporthttps://oa.upm.es/55503/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:555032026-06-21T12:45:07Z
dc.title.none.fl_str_mv Improving the compilation of Prolog to C using moded types and determinism information
title Improving the compilation of Prolog to C using moded types and determinism information
spellingShingle Improving the compilation of Prolog to C using moded types and determinism information
Morales Caballero, José Francisco
Prolog
C
Optimizing compilation
Global analysis
title_short Improving the compilation of Prolog to C using moded types and determinism information
title_full Improving the compilation of Prolog to C using moded types and determinism information
title_fullStr Improving the compilation of Prolog to C using moded types and determinism information
title_full_unstemmed Improving the compilation of Prolog to C using moded types and determinism information
title_sort Improving the compilation of Prolog to C using moded types and determinism information
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 Prolog
C
Optimizing compilation
Global analysis
topic Prolog
C
Optimizing compilation
Global analysis
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-04-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/55503/
url https://oa.upm.es/55503/
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_ 1869406825403645952
score 15,811543