Abstrakt. Array partitionering analyser split arrays in i contiguous partitioner att sluta egenskaper för celluppsättningar. Sådana analyser kan inte gruppera samman icke sammanhängande celler, inte ens när de har liknande egenskaper. I detta dokument föreslår vi en abstrakt domän som använder semantiska egenskaper för att dela upp celler i grupper. Celler med liknande egenskaper kommer att packas i grupper och abstrakteras tillsammans. Dessutom är grupper inte nödvändigtvis sammanhängande. Denna abstrakta domän gör det möjligt att härleda komplexa matrisinvarianter på ett helt automatiskt sätt. Experiment på exempel från Minix 1.1 minneshantering visar dess effektivitet.
I synnerhet är tekniken i REF användbar när array celler med liknande egenskaper är icke-kontituöst närvarande i arrayen.
Abstraction of Arrays Based on Non Contiguous Partitions
{'venue': 'VMCAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}