@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}, }