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

Detalhes bibliográficos
Autores: Morales Caballero, José Francisco, Carro Liñares, Manuel|||0000-0001-5199-3135, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Formato: informe técnico
Fecha de publicación:2004
País:España
Recursos:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:55503
Acesso em linha:https://oa.upm.es/55503/
Access Level:acceso abierto
Palavra-chave:Prolog
C
Optimizing compilation
Global analysis
Descrição
Descrição não disponível.