Improving the Compilation of Prolog to C Using Moded Types and Determinism Information (2004)

by J Morales, M Carro, M Hermenegildo
Venue:In Intnl. Symposium on Practical Aspects of Declarative Languages, number 3057 in LNCS