This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
An environment of CASL will consist of several independent (existing) components which have to communicate with each other. ATerms can be used as intermediate exchange format for the abstract syntax trees of CASL specifications between these components. ATerms are used as exchange format in the implementation of the new ASF+SDF Meta-Environment.
The rest of this document has not yet been converted to Hypertext; please refer to the FTP directory indicated above for the full document.