Behavioural synthesis utilising recursive definitions.

Andrew D. Brown D. J. D. Milton Andrew J. Rushton Peter R. Wilson

Published in: IET Comput. Digit. Tech. (2012)

Keyphrases

program synthesis
recursive algorithm
recursive functions
reduced order
behavioural patterns
knowledge base
three dimensional
similarity measure
wide range
data model