An Implementation Technique for the Abstract Interpretation of Prolog - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Annika Wærn. An Implementation Technique for the Abstract Interpretation of Prolog. In ICLP/SLP. pages 700-710, 1988.

@inproceedings{Waern88,
  title = {An Implementation Technique for the Abstract Interpretation of Prolog},
  author = {Annika Wærn},
  year = {1988},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/Waern88},
  cites = {0},
  citedby = {0},
  pages = {700-710},
  booktitle = {ICLP/SLP},
}

runs on WebDSL