Login / Signup

Constraint normalization and parameterized caching for quantitative program analysis.

Tegan BrennanNestan TsiskaridzeNicolás RosnerAbdulbaki AydinTevfik Bultan
Published in: ESEC/SIGSOFT FSE (2017)
Keyphrases
  • data access
  • quantitative and qualitative
  • query processing
  • qualitative and quantitative
  • prefetching
  • preprocessing
  • data sets
  • quantitative measures
  • database systems
  • mobile environments
  • semantic caching