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
Descripción
Descripción no disponible.