A System which Synthesizes Array-Manipulating Programs from Specifications.

Michel Bidoit Christian Gresse Gérard D. Guiho

Published in: IJCAI (1979)

Keyphrases

recursive programs
control flow
program synthesis
high level
real time
computer programs
attribute grammars
formal specification
answer sets
relational databases
finite state machines
logic programs
operational semantics
programming language
programmable logic
linear array
delay insensitive
data mining