A novel approach to verifying context free properties of programs.

Nan Zhang Zhenhua Duan Cong Tian Hongwei Du

Published in: Theor. Comput. Sci. (2020)

Keyphrases

context free
grammatical inference
context sensitive
context dependent
finite state
context free languages
context free grammars
attribute grammars
machine learning
graph grammars
knowledge base
domain knowledge
dynamic programming