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 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 package base at the CWI. The name of the package is aterm-java.

Haskell

Scheme

Publications

Revision: r1.5 - 15 Sep 2006 - 01:40 - MartinBravenboer
Tools > ATermLibrary
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