Synthesis of Functions Using Generic Programming

Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an input

• Type: Journal
• Year: 2009
• Where: AAIP
• Authors: Pieter W. M. Koopman, Rinus Plasmeijer
• Keywords: AAIP 2009, Flexible Way, General Recursive, Programming Languages, Simple Input-output Pairs