Symbolic Programming

Symbols are words that refer to, or denote, other things: their referents:

• Variable names in programming languages

• Variables in equations

• English words

Symbolic Programming manipulates stuctures of
symbols, typically represented as trees:

• solve equations

• translate a program to another language

• specialize a generic program

• convert units of measurement

• translate English into a database query

• compose program components