Michael Codish, John P. Gallagher, Ehud Y. Shapiro. Using Safe Approximations of Fixed Points for Analysis of Logic Programs. In META. pages 233-261, 1988.
@inproceedings{CodishGS88,
title = {Using Safe Approximations of Fixed Points for Analysis of Logic Programs},
author = {Michael Codish and John P. Gallagher and Ehud Y. Shapiro},
year = {1988},
tags = {program analysis, meta programming, points-to analysis, analysis, source-to-source, logic programming, logic, Meta-Environment, open-source},
researchr = {https://researchr.org/publication/CodishGS88},
cites = {0},
citedby = {0},
pages = {233-261},
booktitle = {META},
}