2012-03-01
Program Analysis Scenarios in Rascal
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| Rascal, program analysis, rewriting logic | |
| Testing and Debugging (acm D.2.5), Software/Program Verification (acm D.2.4), Semantics of Programming Languages (acm F.3.2) | |
| Software (theme 1) | |
| Springer | |
| F. Durán | |
| 978-3-642-34004-8 | |
| Lecture Notes in Computer Science | |
| Domain Specific Languages: A Big Future for Small Programs | |
| International Workshop on Rewriting Logic and its Applications | |
| An invited paper for WRLA 2012, describing our work on program analysis and comparing our approach to approaches based on rewriting logic semantics. | |
| Organisation | Software Analysis and Transformation |
|
Hills, M.A, Klint, P, & Vinju, J.J. (2012). Program Analysis Scenarios in Rascal. In F Durán (Ed.), Lecture Notes in Computer Science. Springer.
|
|