Programming with Global Analysis
The MIT Press eBooks · 1997
Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity.A natural question is whether it is time for its routine incorporation in standard compilers, something which, beyond a few experimental systems, has not happened to date.Such incorporation arguably makes good sense only if: