trace program
trace program A program that monitors the execution of some software system and provides information on the dynamic behavior of that system in the form of a trace, i.e. a report of the sequence of actions carried out. Typically a trace program will offer several options as to the kind of trace produced. For example, there may be options to produce a statement-by-statement trace, or to trace just those statements that alter the flow of control, or to trace changes to the value of a specific variable.
More From encyclopedia.com
Edison , Edison A programming language for designing reliable real-time programs for multiprocessor systems. Edison is block-structured and includes modules,… Verification , The term "verification" concerns statements or theories. Since a theory can be formulated as a conjunction of hypotheses, and therefore as a single s… statement , state·ment / ˈstātmənt/ • n. a definite or clear expression of something in speech or writing: do you agree with this statement? this is correct as a… Proof (mathematics) , Proof
A proof is a logical argument demonstrating that a specific statement, proposition, or mathematical formula is true. It consists of a set of as… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… precondition , pre·con·di·tion / ˌprēkənˈdishən/ • n. a condition that must be fulfilled before other things can happen or be done: a precondition for peace. • v. […
You Might Also Like
NEARBY TERMS
trace program