Skip to content
scrambled
Programming Language Theory Flashcard

What is an abstract binding tree (ABT)?

Books Concepts Decklanguage theory

Question

What is an abstract binding tree (ABT)?

Answer

An AST that is enriched with bindings and scopes.

Regarding Programming languages: Application and Interpretation:

  • Each operator's arity now has its arguments with some valences.

  • Each operator's arguments now become Abstractors.