Loop Unravelling: A Practical Tool in Proving Program Correctness.

Arthur G. Duncan Lawrence Yelowitz

Published in: Inf. Process. Lett. (1975)

Keyphrases

real world
program understanding
neural network
tool kit
artificial intelligence
software tools
real time
learning algorithm
social networks
case study
high level
digital libraries
artificial neural networks
user friendly
analysis tool
java programs