Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Khaled Bsaïes. Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. In ALPUK. pages 41-61, 1992.

@inproceedings{Bsaies92:0,
  title = {Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs},
  author = {Khaled Bsaïes},
  year = {1992},
  tags = {program analysis, analysis, static analysis, logic programming, logic},
  researchr = {https://researchr.org/publication/Bsaies92%3A0},
  cites = {0},
  citedby = {0},
  pages = {41-61},
  booktitle = {ALPUK},
}

runs on WebDSL