Programming by predicates: a formal model for interactive synthesis.

Hila Peleg Shachar Itzhaky Sharon Shoham Eran Yahav

Published in: Acta Informatica (2020)

Keyphrases

formal model
formal models
security patterns
user friendly
program synthesis
programming language
computer graphics
predicate calculus
virtual reality
hands on guide
visual programming
information systems
probabilistic knowledge
programming environment
texture synthesis
user defined
user interaction