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