Description and optimization of abstract machines in a dialect of Prolog

Detalhes bibliográficos
Autores: Morales Caballero, José Francisco, Carro Liñares, Manuel|||0000-0001-5199-3135, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Formato: artículo
Fecha de publicación:2015
País:España
Recursos:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:52656
Acesso em linha:https://oa.upm.es/52656/
Access Level:acceso abierto
Palavra-chave:Abstract machines
Compilation
Optimization
Program transformation
Prolog
Logic languages
Descrição
Descrição não disponível.