A Novel Approach to Verifying Context Free Properties of Programs.

Nan Zhang Zhenhua Duan Cong Tian Hongwei Du

Published in: AAIM (2018)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
finite state
context free languages
context free grammars
attribute grammars
inductive inference
graph grammars
machine learning
low level
model checking
data exchange