Global compilation of prolog

Publisher Website

1 November 1989

journal article
research article
Published by Elsevier in The Journal of Logic Programming

Vol. 7 (3) , 193-230
https://doi.org/10.1016/0743-1066(89)90021-6

Abstract

No abstract available

Keywords

GLOBAL COMPILATION

This publication has 6 references indexed in Scilit:

Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems, 1989
The Art of Prolog
IEEE Expert, 1987
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism
Published by Springer Nature ,1987
Some global optimizations for a PROLOG compiler
The Journal of Logic Programming, 1985
Negation as Failure
Published by Springer Nature ,1978
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Published by Association for Computing Machinery (ACM) ,1977