Logical Synthesis of Imperative O. O. Programs.

Patrick Bellot Bernard J. Robinet

Published in: LOPSTR (1998)

Keyphrases

functional programs
program synthesis
neural network
automatic programming
dynamic logic
logical operations
real world
social networks
search algorithm
texture synthesis
computer programs
programming environment
fixpoint