Program analysis scenarios in Rascal

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

doi:10.1007/978-3-642-34005-5_2

Program analysis scenarios in Rascal

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

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

8 Citations (Scopus)

1 Downloads (Pure)

Abstract

Rascal is a meta programming language focused on the implementation of domain-specific languages and on the rapid construction of tools for software analysis and software transformation. In this paper we focus on the use of Rascal for software analysis. We illustrate a range of scenarios for building new software analysis tools through a number of examples, including one showing integration with an existing Maude-based analysis. We then focus on ongoing work on alias analysis and type inference for PHP, showing how Rascal is being used, and sketching a hypothetical solution in Maude. We conclude with a high-level discussion on the commonalities and differences between Rascal and Maude when applied to program analysis.

Original language	English
Title of host publication	Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers
Editors	F. Durán
Place of Publication	Berlin
Publisher	Springer
Pages	10-30
ISBN (Print)	978-3-642-34004-8
DOIs	https://doi.org/10.1007/978-3-642-34005-5_2
Publication status	Published - 2012
Externally published	Yes
Event	9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012) - Tallinn, Estonia Duration: 24 Mar 2012 → 25 Mar 2012 Conference number: 9

Publication series

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

Workshop

Workshop	9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012)
Abbreviated title	WRLA 2012
Country/Territory	Estonia
City	Tallinn
Period	24/03/12 → 25/03/12
Other	Workshop held as a satellite event of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS 2012)

Access to Document

10.1007/978-3-642-34005-5_2

Cite this

Hills, M., Klint, P., & Vinju, J. J. (2012). Program analysis scenarios in Rascal. In F. Durán (Ed.), Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers (pp. 10-30). (Lecture Notes in Computer Science; Vol. 7571). Springer. https://doi.org/10.1007/978-3-642-34005-5_2

@inproceedings{db92bbf588fa4b3a8c64bc40e0533442,

title = "Program analysis scenarios in Rascal",

abstract = "Rascal is a meta programming language focused on the implementation of domain-specific languages and on the rapid construction of tools for software analysis and software transformation. In this paper we focus on the use of Rascal for software analysis. We illustrate a range of scenarios for building new software analysis tools through a number of examples, including one showing integration with an existing Maude-based analysis. We then focus on ongoing work on alias analysis and type inference for PHP, showing how Rascal is being used, and sketching a hypothetical solution in Maude. We conclude with a high-level discussion on the commonalities and differences between Rascal and Maude when applied to program analysis.",

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

year = "2012",

doi = "10.1007/978-3-642-34005-5\_2",

language = "English",

isbn = "978-3-642-34004-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "10--30",

editor = "F. Dur{\'a}n",

booktitle = "Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers",

address = "Germany",

note = "9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012), WRLA 2012 ; Conference date: 24-03-2012 Through 25-03-2012",

}

Hills, M, Klint, P & Vinju, JJ 2012, Program analysis scenarios in Rascal. in F Durán (ed.), Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7571, Springer, Berlin, pp. 10-30, 9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012), Tallinn, Estonia, 24/03/12. https://doi.org/10.1007/978-3-642-34005-5_2

Program analysis scenarios in Rascal. / Hills, M.; Klint, P.; Vinju, J.J.
Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers. ed. / F. Durán. Berlin: Springer, 2012. p. 10-30 (Lecture Notes in Computer Science; Vol. 7571).

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

TY - GEN

T1 - Program analysis scenarios in Rascal

AU - Hills, M.

AU - Klint, P.

AU - Vinju, J.J.

N1 - Conference code: 9

PY - 2012

Y1 - 2012

N2 - Rascal is a meta programming language focused on the implementation of domain-specific languages and on the rapid construction of tools for software analysis and software transformation. In this paper we focus on the use of Rascal for software analysis. We illustrate a range of scenarios for building new software analysis tools through a number of examples, including one showing integration with an existing Maude-based analysis. We then focus on ongoing work on alias analysis and type inference for PHP, showing how Rascal is being used, and sketching a hypothetical solution in Maude. We conclude with a high-level discussion on the commonalities and differences between Rascal and Maude when applied to program analysis.

AB - Rascal is a meta programming language focused on the implementation of domain-specific languages and on the rapid construction of tools for software analysis and software transformation. In this paper we focus on the use of Rascal for software analysis. We illustrate a range of scenarios for building new software analysis tools through a number of examples, including one showing integration with an existing Maude-based analysis. We then focus on ongoing work on alias analysis and type inference for PHP, showing how Rascal is being used, and sketching a hypothetical solution in Maude. We conclude with a high-level discussion on the commonalities and differences between Rascal and Maude when applied to program analysis.

U2 - 10.1007/978-3-642-34005-5_2

DO - 10.1007/978-3-642-34005-5_2

M3 - Conference contribution

SN - 978-3-642-34004-8

T3 - Lecture Notes in Computer Science

SP - 10

EP - 30

BT - Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers

A2 - Durán, F.

PB - Springer

CY - Berlin

T2 - 9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012)

Y2 - 24 March 2012 through 25 March 2012

ER -

Hills M, Klint P, Vinju JJ. Program analysis scenarios in Rascal. In Durán F, editor, Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers. Berlin: Springer. 2012. p. 10-30. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-34005-5_2

Program analysis scenarios in Rascal

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this