Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site A Scalable Inclusion Constraint Solver Using Unification
Ye Zhang, Flemming Nielson
abstract:
We present a framework for data flow analyses that enables users to
achieve best balance between efficiency and precision by using
unification of equality constraints over analysis variables. A
systematic evaluation of performance of reaching definitions
analysis is conducted and is compared with that of a
state-of-the-art solver, the Succinct Solver. The result shows our
solver significantly outperforms the Succinct Solver on performance.
Using unification decreases the asymptotic complexity even down to
almost linear from more than quadratic time in some benchmarks.