Semantic resolution tree

From Wikipedia, the free encyclopedia
Jump to: navigation, search

A semantic resolution tree is a tree used for the definition of the semantics of a programming language.