RLSRunner: Linking Rascal with K for Program Analysis.

Mark Hills, Paul Klint, Jurgen J. Vinju

Browse the full SLE paper archive.