Abstract Interpretation and Recursive Behaviour of Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christophe Lecoutre, Philippe Devienne, Patrick Lebègue. Abstract Interpretation and Recursive Behaviour of Logic Programs. In LOPSTR. pages 147-166, 1991.

@inproceedings{LecoutreDL91,
  title = {Abstract Interpretation and Recursive Behaviour of Logic Programs},
  author = {Christophe Lecoutre and Philippe Devienne and Patrick Lebègue},
  year = {1991},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/LecoutreDL91},
  cites = {0},
  citedby = {0},
  pages = {147-166},
  booktitle = {LOPSTR},
}

runs on WebDSL