ASF+SDF Meta Environment


The ASF+SDF Meta-Environment is an IDE and toolset for interactive program analysis and transformation. It combines SDF, ASF and other technologies.
Some of the features:
Components:
The ToolBus is a component interconnection architecture based on a process algebra formalism. ATerms is a generic data representation format that is very efficient in terms of resource usage, due to maximal subterm sharing and automatic garbage collection. It is used throughout most of the tools in the toolset, and APIs are provided in C and Java so developers can use it in their own applications.