Program Composition via Unification.

Limor Fix Nissim Francez Orna Grumberg

Published in: Theor. Comput. Sci. (1994)

Keyphrases

artificial intelligence
computer programs
real time
data sets
databases
search engine
theorem prover
theorem proving
automatic programming