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