Mark Hills, Paul Klint, Jurgen J. Vinju. RLSRunner: Linking Rascal with K for Program Analysis. In Anthony M. Sloane, Uwe Aßmann, editors, Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Volume 6940 of Lecture Notes in Computer Science, pages 344-353, Springer, 2011. [doi]
Abstract is missing.