Towards Practical Higher-Order Demand-Driven Program Analysis

Run Static Analyses ... 5 Those in which functions are not values, for example, C. 6 Ignoring function pointers, but they are rarely used in C programs. 7 Those in which functions are first-class citizens that can be passed as arguments to function calls, returned from function calls, stored in data structures, and so forth, for example, Scheme, ML and JavaScript.