%0 Conference Paper %1 conf/ecoop/Guerra0S23 %A Guerra, Henrique Botelho %A Ferreira, João F. %A Seco, João Costa %B ECOOP %D 2023 %E Ali, Karim %E Salvaneschi, Guido %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 4:1-4:28 %T Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2023.html#Guerra0S23 %V 263 %@ 978-3-95977-281-5

@inproceedings{conf/ecoop/Guerra0S23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Guerra, Henrique Botelho and Ferreira, João F. and Seco, João Costa}, biburl = {https://www.bibsonomy.org/bibtex/20d0e72bb0ab13c187b60fffaf09dad6c/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2023}, editor = {Ali, Karim and Salvaneschi, Guido}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.4}, interhash = {1646de305fd2f6bd1907a7a2819d0ba2}, intrahash = {0d0e72bb0ab13c187b60fffaf09dad6c}, isbn = {978-3-95977-281-5}, keywords = {dblp}, pages = {4:1-4:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-05-13T09:35:19.000+0200}, title = {Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2023.html#Guerra0S23}, volume = 263, year = 2023 }