Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization.
Saumya K. DebrayTodd A. ProebstingPublished in: ACM Trans. Program. Lang. Syst. (1997)
Keyphrases
- flow analysis
- information flow
- control system
- control program
- higher order
- optimization algorithm
- control structures
- data acquisition
- control structure
- real time
- genetic algorithm
- optimization problems
- forensic analysis
- optimal control
- control strategy
- optimization method
- first order logic
- decision making
- data mining