Skip to content
Permalink
master
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
25 lines (16 sloc) 466 Bytes

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

.. toctree::
   :maxdepth: 2

   terms
   signatures
   rewriting
   api