Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

https://hal.inria.fr/hal-00644695
Contributor : Jurgen Vinju Connect in order to contact the contributor
Submitted on : Thursday, November 24, 2011 - 9:22:24 PM
Last modification on : Thursday, January 20, 2022 - 4:12:26 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

36