ASF
Program-Transformation.Org: The Program Transformation Wiki
ASF is the abbreviation of the Algebraic Specification Formalism developed at
CWI and the University of Amsterdam. The formalism is used in combination with the Syntax Definition Formalism
SDF in the
ASFandSDFMetaEnvironment.
CategoryLanguage