Global Optimizations in a Prolog Compiler for the TOAM

Neng-Fa Zhou. Global Optimizations in a Prolog Compiler for the TOAM. Journal of Logic and Algebraic Programming, 15(4):275-294, 1993.

@article{Zhou93:2,
  title = {Global Optimizations in a Prolog Compiler for the TOAM},
  author = {Neng-Fa Zhou},
  year = {1993},
  tags = {optimization, Prolog, compiler},
  researchr = {https://researchr.org/publication/Zhou93%3A2},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {15},
  number = {4},
  pages = {275-294},
}