BibTeX record conf/plpv/KimmellSEEFSWCSCA12

• > Home > conf/plpv/KimmellSEEFSWCSCA12

@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
  author       = {Garrin Kimmell and
                  Aaron Stump and
                  Harley D. Eades III and
                  Peng Fu and
                  Tim Sheard and
                  Stephanie Weirich and
                  Chris Casinghino and
                  Vilhelm Sj{\"{o}}berg and
                  Nathan Collins and
                  Ki Yung Ahn},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Equational reasoning about programs with general recursion and call-by-value
                  semantics},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103780},
  doi          = {10.1145/2103776.2103780},
  timestamp    = {Sat, 19 Oct 2019 20:20:12 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}