Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version).

David Young Ziyi Yang Ilya Sergey Alex Potanin

Published 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