Adequacy Properties of Path Programs.

Published in: Theor. Comput. Sci. (1982)

Keyphrases

imperative programs
desirable properties
database
information systems
shortest path
real time
learning algorithm
artificial intelligence
case study
face recognition
state space
operating system
structural properties