KRunner: Linking Rascal with K
Presented at the International Workshop on the K Framework and its Applications, Cheile Gradistei, Romania
|, , ,|
|International Workshop on the K Framework and its Applications|
|Organisation||Software Analysis and Transformation|
Hills, M.A, Klint, P, & Vinju, J.J. (2011). KRunner: Linking Rascal with K.