RLSRunner : linking Rascal with K for program analysis

M. Hills; P. Klint; J.J. Vinju

doi:10.1007/978-3-642-28830-2_19

RLSRunner : linking Rascal with K for program analysis

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers
Editors	A. Sloane, U. Assmann
Place of Publication	Berlin
Publisher	Springer
Pages	344-353
ISBN (Print)	978-3-642-28829-6
DOIs	https://doi.org/10.1007/978-3-642-28830-2_19
Publication status	Published - 2012
Externally published	Yes
Event	4th International Conference on Software Language Engineering (SLE 2011) - Braga, Portugal Duration: 3 Jul 2011 → 4 Jul 2011 Conference number: 4 http://www.sleconf.org/2011/

Publication series

Name	Lecture Notes in Computer Science
Volume	6940
ISSN (Print)	0302-9743

Conference

Conference	4th International Conference on Software Language Engineering (SLE 2011)
Abbreviated title	SLE 2011
Country/Territory	Portugal
City	Braga
Period	3/07/11 → 4/07/11
Internet address	http://www.sleconf.org/2011/

Access to Document

10.1007/978-3-642-28830-2_19

Cite this

Hills, M., Klint, P., & Vinju, J. J. (2012). RLSRunner : linking Rascal with K for program analysis. In A. Sloane, & U. Assmann (Eds.), Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers (pp. 344-353). (Lecture Notes in Computer Science; Vol. 6940). Springer. https://doi.org/10.1007/978-3-642-28830-2_19

@inproceedings{cf4f367e17744df881c229cf0a7340e8,

title = "RLSRunner : linking Rascal with K for program analysis",

abstract = "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.",

author = "M. Hills and P. Klint and J.J. Vinju",

year = "2012",

doi = "10.1007/978-3-642-28830-2_19",

language = "English",

isbn = "978-3-642-28829-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "344--353",

editor = "A. Sloane and U. Assmann",

booktitle = "Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers",

address = "Germany",

note = "4th International Conference on Software Language Engineering (SLE 2011), SLE 2011 ; Conference date: 03-07-2011 Through 04-07-2011",

url = "http://www.sleconf.org/2011/",

}

Hills, M, Klint, P & Vinju, JJ 2012, RLSRunner : linking Rascal with K for program analysis. in A Sloane & U Assmann (eds), Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers. Lecture Notes in Computer Science, vol. 6940, Springer, Berlin, pp. 344-353, 4th International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, 3/07/11. https://doi.org/10.1007/978-3-642-28830-2_19

RLSRunner : linking Rascal with K for program analysis. / Hills, M.; Klint, P.; Vinju, J.J.
Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers. ed. / A. Sloane; U. Assmann. Berlin: Springer, 2012. p. 344-353 (Lecture Notes in Computer Science; Vol. 6940).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - RLSRunner : linking Rascal with K for program analysis

AU - Hills, M.

AU - Klint, P.

AU - Vinju, J.J.

N1 - Conference code: 4

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-28830-2_19

DO - 10.1007/978-3-642-28830-2_19

M3 - Conference contribution

SN - 978-3-642-28829-6

T3 - Lecture Notes in Computer Science

SP - 344

EP - 353

BT - Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers

A2 - Sloane, A.

A2 - Assmann, U.

PB - Springer

CY - Berlin

T2 - 4th International Conference on Software Language Engineering (SLE 2011)

Y2 - 3 July 2011 through 4 July 2011

ER -

Hills M, Klint P, Vinju JJ. RLSRunner : linking Rascal with K for program analysis. In Sloane A, Assmann U, editors, Proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, July 3-4, 2011, Braga, Portugal, Revised Selected Papers. Berlin: Springer. 2012. p. 344-353. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-28830-2_19

RLSRunner : linking Rascal with K for program analysis

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this