Shape and Content: Incorporating Domain Knowledge into Shape Analysis

Calvanese, Diego; Kotek, Tomer; Simkus, Mantas; Veith, Helmut; Zuleger, Florian

by Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Reference:

Shape and Content: Incorporating Domain Knowledge into Shape AnalysisDiego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian ZulegerInformal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pages 124-127, 2014.

Bibtex Entry:

@inproceedings{ws:CKSVZ14,
  author    = {Diego Calvanese and
               Tomer Kotek and
               Mantas Simkus and
               Helmut Veith and
               Florian Zuleger},
  title     = {Shape and Content: Incorporating Domain Knowledge into Shape Analysis},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description
               Logics, Vienna, Austria, July 17-20, 2014.},
  pages     = {124--127},
  year      = {2014},
}