A comment on axiomatic approaches to programming.

Published in: Commun. ACM (1970)

Keyphrases

alternative approaches
programming language
neural network
machine learning
website
image sequences
evolutionary algorithm
information extraction