SN Computer Science - AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs
SN Computer Science - AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs #aliasanalysis #oop #programming #programverification
From the journal, SN Computer Science, comes a paper on AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. This paper is free to read (link) through 2021.
Abstract
The aliasing question (can two reference expressions point, during an execution, to the same object?) is both one of the most critical in practice, for applications ranging from compiler…
View On WordPress













