A note on coinduction and weak bisimilarity for while programs.

Jan J. M. M. Rutten

Published in: RAIRO Theor. Informatics Appl. (1999)

Keyphrases

computer programs
data sets
neural network
automatic programming
real world
learning algorithm
programming environment
intermediate level
control structures