Toward Interactive Design of Correct Programs.

Robert W. Floyd

Published in: IFIP Congress (1) (1971)

Keyphrases

design principles
real time
neural network
interactive systems
expert systems
computer graphics
design process
interactive evolutionary computation
automatic programming
design tools
conceptual model
computer aided
user interaction
object oriented
computer vision
artificial intelligence
real world
data sets