On Equivalence of Programs.

Jacek Leszczylowski

Published in: MFCS (1974)

Keyphrases

java programs
provably correct
learning algorithm
artificial intelligence
high level
prolog programs
automatic programming
programming environment
probabilistic model
relational databases
learning environment
data sets
case study
decision making
social networks
neural network
databases