Go backward to Relationship Go up to Top Go forward to A Language of Binary Numerals

Valuation Function

• Domain: Abstract syntax structures ("parse trees") of the language.
• Target: Objects of semantic domains.
• Structural definition (meaning of a tree is defined by meanings of its subtrees).

A valuation function maps an abstract syntax into some semantic domain.