ATerm libraries implement the internal representation of the [[ATerm Format]] in some programming language and the conversion between the external and the internal representation. ---++ C * Implements garbage collection of ATerms * Ensures maximal subterm sharing * Supports the efficient Binary ATerm Format (BAF) in which complete sharing of subterms is maintained. Visit the [[http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATermLibrary][official homepage]] for more information and downloads. ---++ Java * Ensures maximal subterm sharing. * Does not support the Binary ATerm Format (BAF) As far as I know there is no offical homepage for the ATerm library for Java. The software can be downloaded from the [[http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/PackageBase][package base at the CWI]]. The name of the package is =aterm-java=. ---++ Haskell * [[http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/HaskellATermLibrary][official homepage]] ---++ Scheme * http://planet.plt-scheme.org/#aterm.plt ---++ Publications * [[Transform.EfficientAnnotatedTerms][Efficient Annotated Terms]]