Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version).
David YoungZiyi YangIlya SergeyAlex PotaninPublished in: CoRR (2024)
Keyphrases
- higher order
- functional programs
- recursive programs
- program synthesis
- high order
- logic programs
- pairwise
- natural images
- low order
- markov random field
- control flow
- high level
- computer programs
- lower order
- database languages
- lambda calculus
- numerical solution
- specification language
- knowledge representation
- delay insensitive
- functional language
- relational databases