abstract syntax
syntactic structure independent of any particular representation or encoding
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
syntactic structure independent of any particular representation or encoding