ATerms are an efficient symbolic computation and exchange format. The core of the ATerm library is the C code that efficiently implements maximally shared (persistent, hash-consed) trees and lists, including an automatic generational garbage collector, and fast textual and binary serialization.
