A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.

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

Browse the full ICLP paper archive.