Lazy but Effective Functional Synthesis
Abstract elided by the publisher.
Related papers
- UDF to SQL translation through compositional lazy inductive synthesis OOPSLA 2021
- Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism ECOOP 2023
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- Incremental Determinization for Quantifier Elimination and Functional Synthesis CAV 2019
- Lazy Synthesis VMCAI 2012
- Fundamentalist functional programming GPCE 2008
- Lexicographic Ranking Supermartingales with Lazy Lower Bounds CAV 2024
- PureCake: A Verified Compiler for a Lazy Functional Language PLDI 2023