Programming language for analysis and transformation.
