Verified compilation and optimization of floating-point kernels

Heiko Becker. Verified compilation and optimization of floating-point kernels. PhD thesis, Saarland University, Saarbr├╝cken, Germany, 2022. [doi]

@phdthesis{dnb-25613,
  title = {Verified compilation and optimization of floating-point kernels},
  author = {Heiko Becker},
  year = {2022},
  url = {https://d-nb.info/1278957901},
  researchr = {https://researchr.org/publication/dnb-25613},
  cites = {0},
  citedby = {0},
  school = {Saarland University, Saarbr├╝cken, Germany},
}