TY  - RPRT
TI  - Description and Optimization of Abstract Machines in a Dialect of Prolog
AU  - Jose F. Morales
AU  - Manuel Carro
AU  - Manuel Hermenegildo
PY  - 2014
DO  - 10.1017/s1471068414000672
UR  - https://arxiv.org/abs/1411.5573
ID  - 1411.5573
ER  -