A Characterization of Floyd-Provable Programs.

Hajnal Andréka István Németi Ildikó Sain

Published in: MFCS (1981)

Keyphrases

automatic programming
real time
evolutionary algorithm
error diffusion
programming environment
intermediate level
information retrieval
multiresolution
programming language
control flow
prolog programs