%0 Journal Article %1 journals/darts/FacchinettiPS16 %A Facchinetti, Leandro %A Palmer, Zachary %A Smith, Scott F. %D 2016 %J Dagstuhl Artifacts Ser. %K dblp %N 1 %P 09:1-09:2 %T Higher-Order Demand-Driven Program Analysis (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts2.html#FacchinettiPS16 %V 2

@article{journals/darts/FacchinettiPS16, added-at = {2020-09-01T00:00:00.000+0200}, author = {Facchinetti, Leandro and Palmer, Zachary and Smith, Scott F.}, biburl = {https://www.bibsonomy.org/bibtex/2d7ef1076ab64da594a612ca29aac1bc2/dblp}, ee = {https://doi.org/10.4230/DARTS.2.1.9}, interhash = {3d49ddd8632121fbb1cb9a2d628abc43}, intrahash = {d7ef1076ab64da594a612ca29aac1bc2}, journal = {Dagstuhl Artifacts Ser.}, keywords = {dblp}, number = 1, pages = {09:1-09:2}, timestamp = {2020-09-09T11:54:01.000+0200}, title = {Higher-Order Demand-Driven Program Analysis (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts2.html#FacchinettiPS16}, volume = 2, year = 2016 }