Towards Description and Optimization of Abstract Machines in an Extension of Prolog.

Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.