José F. Morales, Manuel Carro, Manuel V. Hermenegildo. Improved Compilation of Prolog to C Using Moded Types and Determinism Information. In Bharat Jayaraman, editor, Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Volume 3057 of Lecture Notes in Computer Science, pages 86-103, Springer, 2004. [doi]
Abstract is missing.