ASF

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.

---

CategorySystem^?