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
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00644695
Contributor : Jurgen Vinju <>
Submitted on : Thursday, November 24, 2011 - 9:22:24 PM
Last modification on : Wednesday, November 29, 2017 - 3:11:01 PM

Identifiers

  • 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. ⟨hal-00644695⟩

Share

Metrics

Record views

97