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