@entry{lin-hom-dil-men-10-aa,
  author = {MD Linderman and M Ho and DL Dill and TH Meng...},
  title = {Towards program optimization through automated analysis of numerical precision},
  journal = {Proceedings of the 8th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/1772954.1772987?casa_token=SkgF1Gk1Q8gAAAAA:AtC6k7muYch20GBILD3YoG_MyAoG51LDGfXP3GUc0yiVbtGq0wrD6DNHfFcFsw8Gj_xfDn1k4nM}}},
  quotes = {... )-based proof engine with an affine arithmetic (AA)-based engine that can more accurately ... Affine arithmetic (AA) [9] is a refinement to IA that addresses the above problem by keeping ...}
}