An expressive subset of Rascal with a formal semantics is described in The Formal Semantics of Rascal Light.
A static analysis tool for analysing Rascal Light programs, based on Abstract Interpretation. It is an artefact related to the work presented in Verification of High-Level Transformation Languages using Inductive Refinement Types (joint work with Thomas P. Jensen, Aleksandar S. Dimovski and Andrzej Wasowski).
- Java (tested with OpenJDK 11)
- Scala (tested with 2.12.7)
- SBT (tested with 1.2.4)
- Internet access for SBT to download dependencies
- Use
git lfs pull
to get Rascal binaries required for parsing Rascal files in the project.
Use sbt compile
to get dependencies and compile the project.
Call sbt test
in the project directory, to run unit tests and evaluation.
See the log
directory for detailed output.