RLSRunner : linking Rascal with K for program analysis

M. Hills, P. Klint, J.J. Vinju

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


The Rascal meta-programming language provides a number of features supporting the development of program analysis tools. However, sometimes the analysis to be developed is already implemented by another system. In this case, Rascal can provide a useful front-end for this system, handling the parsing of the input program, any transformation (if needed) of this program into individual analysis tasks, and the display of the results generated by the analysis. In this paper we describe a tool, RLSRunner, which provides this integration with static analysis tools defined using the K framework, a rewriting-based framework for defining the semantics of programming languages.
Original languageEnglish
Title of host publicationProceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers
EditorsA. Sloane, U. Assmann
Place of PublicationBerlin
ISBN (Print)978-3-642-28829-6
Publication statusPublished - 2012
Externally publishedYes
Event4th International Conference on Software Language Engineering (SLE 2011) - Braga, Portugal
Duration: 3 Jul 20114 Jul 2011
Conference number: 4

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference4th International Conference on Software Language Engineering (SLE 2011)
Abbreviated titleSLE 2011
Internet address


Dive into the research topics of 'RLSRunner : linking Rascal with K for program analysis'. Together they form a unique fingerprint.

Cite this