BibTeX record conf/pldi/LoowKTMNAF19

• > Home > conf/pldi/LoowKTMNAF19

@inproceedings{DBLP:conf/pldi/LoowKTMNAF19,
  author       = {Andreas L{\"{o}}{\"{o}}w and
                  Ramana Kumar and
                  Yong Kiam Tan and
                  Magnus O. Myreen and
                  Michael Norrish and
                  Oskar Abrahamsson and
                  Anthony C. J. Fox},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {Verified compilation on a verified processor},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {1041--1053},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314622},
  doi          = {10.1145/3314221.3314622},
  timestamp    = {Mon, 26 Jun 2023 20:46:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/LoowKTMNAF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}