A Grammar-Based Approach to Invertible Programs.

Kazutaka Matsuda Shin-Cheng Mu Zhenjiang Hu Masato Takeichi

Published in: ESOP (2010)

Keyphrases

genetic algorithm
graph grammars
natural language
evolutionary algorithm
context free grammars
context free
broad coverage
databases
neural network
machine learning
production rules
computer programs
finite state automata
provably correct
formal languages
wide coverage