ML Anthology

Abstract Interpretation of Programs for Model-Based Debugging

Wolfgang Mayer, Markus Stumptner
IJCAI 2007 pp. 471-476
/ijcai/2007/mayer2007ijcai-abstract/
PDF IJCAI Semantic Scholar

Cite

Text

Mayer and Stumptner. "Abstract Interpretation of Programs for Model-Based Debugging." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Mayer and Stumptner. "Abstract Interpretation of Programs for Model-Based Debugging." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/mayer2007ijcai-abstract/)

BibTeX

@inproceedings{mayer2007ijcai-abstract,
  title     = {{Abstract Interpretation of Programs for Model-Based Debugging}},
  author    = {Mayer, Wolfgang and Stumptner, Markus},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {471-476},
  url       = {https://mlanthology.org/ijcai/2007/mayer2007ijcai-abstract/}
}