In computer science, symbolic execution (also symbolic evaluation) refers to the analysis of programs by tracking symbolic rather than actual values, a case of abstract interpretation. The field of symbolic simulation applies the same concept to hardware. Symbolic computation applies the concept to the analysis of mathematical expressions.
Symbolic execution is used to reason about all the inputs that take the same path through a program.
Read more about Symbolic Execution: Example, Limitations, History
Famous quotes containing the words symbolic and/or execution:
“The instincts of merry England lingered on here with exceptional vitality, and the symbolic customs which tradition has attached to each season of the year were yet a reality on Egdon. Indeed, the impulses of all such outlandish hamlets are pagan still: in these spots homage to nature, self-adoration, frantic gaieties, fragments of Teutonic rites to divinities whose names are forgotten, seem in some way or other to have survived mediaeval doctrine.”
—Thomas Hardy (1840–1928)
“I herewith commission you to carry out all preparations with regard to ... a total solution of the Jewish question in those territories of Europe which are under German influence.... I furthermore charge you to submit to me as soon as possible a draft showing the ... measures already taken for the execution of the intended final solution of the Jewish question.”
—Hermann Goering (1893–1946)