Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004.

Published in: J. Funct. Program. (2004)

Keyphrases

recursive programs
control flow
artificial neural networks
computer programs
construction process
database
high level
transformation rules
neural network
artificial intelligence
learning environment
efficient implementation
control program