Semantic resolution tree
From Wikipedia, the free encyclopedia
A semantic resolution tree is a tree used for the definition of the semantics of a programming language.
A semantic resolution tree is a tree used for the definition of the semantics of a programming language.