The increasing demands for highly performant, proven correct, easily#R##N#maintainable, extensible programs together with the continuous#R##N#growth of real-world programs strengthen the pressure for powerful and#R##N#scalable program analyses for program development and code#R##N#generation. Multi-core computing systems offer new chances for#R##N#enhancing the scalability of program analyses, if the additional#R##N#computing power offered by these systems can be used#R##N#effectively. This, however, poses new challenges on the analysis#R##N#side. In principle, it requires program analyses which can be easily#R##N#parallelized and mapped to multi-core architectures. In this paper we#R##N#remind to reverse data-flow analysis, which has been introduced#R##N#and investigated in the context of demand-driven data-flow analysis,#R##N#as one such class of program analyses which is particularly suitable#R##N#for this.
['Jens Knoop']
Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis