Composing bidirectional programs monadically (with appendices).

Li-yao Xia Dominic Orchard Meng Wang

Published in: CoRR (2019)

Keyphrases

automatic programming
special case
real world
free software
computer programs
answer sets
programming language
bidirectional search
control structures
intermediate level
programming environment
databases
object oriented
multi agent
database systems
web pages
feature selection
neural network