A very fast prolog compiler on multiple architectures
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An overview of the PL.8 compiler
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
RISCs vs. CISCs for Prolog: a case study
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Zephyr: toward true compiler-based programming in Prolog
IBM Journal of Research and Development
A very fast prolog compiler on multiple architectures
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Hi-index | 0.00 |