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

by J. Morales , M. Carro , M. Hermenegildo
Venue:In Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, number 3057 in LNCS
Citations:13 - 7 self