An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Arvind K. Bansal, Leon Sterling. An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions. In FGCS. pages 422-429, 1988.

@inproceedings{BansalS88:0,
  title = {An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions},
  author = {Arvind K. Bansal and Leon Sterling},
  year = {1988},
  tags = {rule-based, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/BansalS88%3A0},
  cites = {0},
  citedby = {0},
  pages = {422-429},
  booktitle = {FGCS},
}

runs on WebDSL