Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.

Henrique Botelho Guerra, Joo F. Ferreira, Joo Costa Seco

Browse the full ECOOP paper archive.