Some global optimizations for a PROLOG compiler
- 30 April 1985
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 2 (1) , 43-66
- https://doi.org/10.1016/0743-1066(85)90004-4
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Towards a pipelined Prolog processorNew Generation Computing, 1984
- The occur-check problem in PrologNew Generation Computing, 1984
- The prolog phenomenonACM SIGART Bulletin, 1980
- The theory and practice of transforming call-by-need into call-by-valuePublished by Springer Nature ,1980
- Consistency in networks of relationsArtificial Intelligence, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Calculating properties of programs by valuations on specific modelsACM SIGPLAN Notices, 1972