@inproceedings{hills-rosu-2010-rta,
  author    = {Mark Hills and Grigore Ro\c{s}u},
  title     = "{A Rewriting Logic Semantics Approach to Modular Program Analysis}",
  booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)},
  series    = {Leibniz International Proceedings in Informatics},
  pages     = {151--160},
  year      = {2010},
  volume    = {6},
  publisher = {Schloss Dagstuhl - Leibniz Center of Informatics},
  doi       = {10.4230/LIPIcs.RTA.2010.151},
}