@inproceedings{hills-klint-vinju-2011-sle, author = {Mark Hills and Paul Klint and Jurgen J. Vinju}, title = "{RLSRunner: Linking Rascal with K for Program Analysis}", booktitle = {Proceedings of the 4th International Conference on Software Language Engineering (SLE 2011)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6940}, year = {2011}, pages = {344--353}, doi = {10.1007/978-3-642-28830-2_19}, }