ALIAS ANALYSIS FOR CONCURRENT SOFTWARE PROGRAMS

摘要

A computer-implemented pointer alias-analysis for concurrent software programs utilizing a divide-and-conquer approach, transaction level summarization and parallelization.