Login / Signup
Flatten and conquer: a framework for efficient analysis of string constraints.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Yu-Fang Chen
Bui Phi Diep
Lukás Holík
Ahmed Rezine
Philipp Rümmer
Published in:
PLDI (2017)
Keyphrases
</>
lightweight
analysis tool
case study
statistical analysis
constrained optimization
data analysis
cost effective
quantitative analysis
database
databases
search engine
image analysis
computationally efficient
main contribution
theoretical framework
space efficient