RLSRunner: Linking Rascal with K for Program Analysis
Abstract elided by the publisher.
Related papers
- Analysis and transformation with the nuthatch tree-walking library SLE 2015
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning VMCAI 2007
- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures CAV 2007
- Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis POPL 2016
- Verification of high-level transformations with inductive refinement types GPCE 2018
- Linked visualisations via Galois dependencies POPL 2022
- Metalevel Building Blocks for Modular Systems TOPLAS 1994
- Eating our own dog food: DSLs for generative and transformational engineering GPCE 2009