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?

Revision: r1.1 - 08 Mar 2001 - 16:15 - EelcoVisser
Transform > ASF
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback