Program equivalence in a simple language with state.

Nikos Tzevelekos

Published in: Comput. Lang. Syst. Struct. (2012)

Keyphrases

computer programs
neural network
semantically equivalent
natural language
programs written
language learning
state space
knowledge representation
programming environment
language processing
test cases
database
relational databases
expert systems
website
learning algorithm
data sets