RLSRunner: Linking Rascal with K for Program Analysis

Paul Klint 1 Jurgen Vinju 1 Mark Hills 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Communication dans un congrès
Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, 6940, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00644695
Contributeur : Jurgen Vinju <>
Soumis le : jeudi 24 novembre 2011 - 21:22:24
Dernière modification le : mercredi 29 novembre 2017 - 15:11:01

Identifiants

  • HAL Id : hal-00644695, version 1

Collections

Citation

Paul Klint, Jurgen Vinju, Mark Hills. RLSRunner: Linking Rascal with K for Program Analysis. Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Jul 2011, Braga, Portugal. Springer, 6940, 2011. 〈hal-00644695〉

Partager

Métriques

Consultations de la notice

93