Partial Deduction in the Framework of Structural Synthesis of Programs.

Mihhail Matskin Henryk Jan Komorowski John Krogstie

Published in: LOPSTR (1996)

Keyphrases

partial deduction
main contribution
logic programs
real time
lightweight
framework enables
search engine
databases
artificial intelligence
computational model
structural information
conceptual framework
computational framework
structural features
program synthesis