A Aralex Aachen research explorer

September 01, 2009 conference-paper Open access

RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation

IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

DOI: 10.1109/scam.2009.28 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 305

Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

5

citations

1 result

References 0