Annotated Terms
Program-Transformation.Org: The Program Transformation Wiki
ATerm (short for Annotated Term) is an abstract data type designed for the exchange of tree-like data structures between distributed applications.
CategoryDataFormat | -- EelcoVisser - 20 Nov 2001