@会议记录{botelhoguerra_et_al:LIPIcs.ECOOP.2023.4,作者={博泰略·格拉,亨里克和费雷拉,乔\~{a} 哦F.和Costa Seco,Jo\~{a} o个},title={{Hoogle⋆:使用符号执行的基于Petri网的合成中的常数和\lambda-abstractions}},booktitle={第37届欧洲面向对象编程会议(ECOOP 2023)},页数={4:1--4:28},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-281-5},ISSN={1868-8969},年份={2023},体积={263},editor={Ali,Karim和Salvaneschi,Guido},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.4},URN={URN:nbn:de:0030-drops-181974},doi={10.4230/LIPIcs.ECOOP.2023.4},annote={关键词:类型定向,基于组件,程序合成,符号执行,统一,Haskell}}