Synthesis of UP-DOWN Counters.

Richard Y. Kain

Published in: IEEE Trans. Electron. Comput. (1967)

Keyphrases

wide range
program synthesis
data structure
functional programs
artificial intelligence
case study
programming language
floating point