Program Analysis Scenarios In Rascal

Mark Hills 1 Paul Klint 1 Jurgen Vinju 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
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.
Type de document :
Communication dans un congrès
Durán, F. Proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA, 2012), Apr 2012, Talinn, Estonia. Springer, 7571, pp.10 - 30, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00756880
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 22:07:35
Dernière modification le : mercredi 14 décembre 2016 - 01:06:14

Identifiants

  • HAL Id : hal-00756880, version 1

Collections

Citation

Mark Hills, Paul Klint, Jurgen Vinju. Program Analysis Scenarios In Rascal. Durán, F. Proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA, 2012), Apr 2012, Talinn, Estonia. Springer, 7571, pp.10 - 30, 2012. 〈hal-00756880〉

Partager

Métriques

Consultations de la notice

176