A Calculus to Build Up Correct Programs.

Pierangelo Miglioli Mario Ornaghi

Published in: MFCS (1977)

Keyphrases

provably correct
neural network
information retrieval
computer vision
real world
data mining
clustering algorithm
multi agent
constraint satisfaction problems
formal language
automatic programming