Abstract semantic graph

An abstract semantic graph (ASG) is a higher abstraction than an abstract syntax tree (AST). Unlike ASTs, ASGs also represent semantic elements of a program in addition to syntax. This is essentially done through the use of back-pointers. A back-pointer is an edge from an identifier node to a node that represents its declaration... [this text needs to be verified and corrected]