Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation

Anne Parrain, Philippe Devienne, Patrick Lebègue. Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. In LOPSTR. pages 228-241, 1992.

@inproceedings{ParrainDL92,
  title = {Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation},
  author = {Anne Parrain and Philippe Devienne and Patrick Lebègue},
  year = {1992},
  tags = {optimization, Prolog, program optimization},
  researchr = {https://researchr.org/publication/ParrainDL92},
  cites = {0},
  citedby = {0},
  pages = {228-241},
  booktitle = {LOPSTR},
}