BibTeX record conf/oopsla/Itzhaky0SYLLC16

download as .bib file

@inproceedings{DBLP:conf/oopsla/Itzhaky0SYLLC16,
  author    = {Shachar Itzhaky and
               Rohit Singh and
               Armando Solar{-}Lezama and
               Kuat Yessenov and
               Yongquan Lu and
               Charles E. Leiserson and
               Rezaul Alam Chowdhury},
  title     = {Deriving divide-and-conquer dynamic programming algorithms using solver-aided
               transformations},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  pages     = {145--164},
  year      = {2016},
  crossref  = {DBLP:conf/oopsla/2016},
  url       = {https://doi.org/10.1145/2983990.2983993},
  doi       = {10.1145/2983990.2983993},
  timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/Itzhaky0SYLLC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2016,
  editor    = {Eelco Visser and
               Yannis Smaragdakis},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2983990},
  doi       = {10.1145/2983990},
  isbn      = {978-1-4503-4444-9},
  timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier