Abstract Syntax with ATermsΒΆ
programs are represented as abstract syntax trees
in memory representation
different tools use different internal representations and data structures to represent trees
common interface
term format to provide a textual notation for ASTs
exchange between tools
persistent format