Abstract semantic graph
form of abstract syntax in which an expression of a language is represented by a graph whose vertices are the expression's subterms
form of abstract syntax in which an expression of a language is represented by a graph whose vertices are the expression's subterms