Static program analyses have also been developed that ensure information flows within programs are in accordance with policies.
Other applications of slicing include software maintenance, optimization, program analysis, and information flow control.
Abstract syntax trees are also used in program analysis and program transformation systems.
The theorem has applications in abstract interpretation, a form of static program analysis.
It can be used for both full program analysis and partial program analysis.
His staff expertise is in strategic planning, program analysis and budget development.
He started at the mental health institute in 1959 as chief of program analysis, became the information director in 1974 and retired in 1986.
"He's doing program analysis to determine effectiveness and he's training my staff on the ways of the court system."
This requires significantly more support from the compiler, and can complicate program analysis.
The study, which is not expected to be finished until summer, is being overseen by the Pentagon's office of program analysis and evaluation.