|
SENSORIA All Publications |
|
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.
show main publications
A Scalable Inclusion Constraint Solver Using Unification
@ARTICLE{ZhangN07LOPSTR_Pre,
title = {{A Scalable Inclusion Constraint Solver Using Unification}},
author = {{Ye} {Zhang} and {Flemming} {Nielson}},
journal = {Logic-Based Program Synthesis and Transformation (LOPSTR'07)},
pages = {87-96},
note = {Preproceedings},
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.},
year = {2007},
address = {Informatics and Mathematical Modelling, Technical University},
keywords = { Date Flow Analysis},
school = {Tehnical University of Denmark},
}
|
