a higher level abstraction than an abstract syntax tree (or AST), which is used to express the syntactic structure of an expression or program

In computer science, an abstract semantic graph (ASG) is a data structure used in representing or deriving the semantics of an expression in a formal language (for example, a programming language).