Verifying Correct Usage of Context-Free API Protocols (Extended Version).

Kostas Ferles Jon Stephens Isil Dillig

Published in: CoRR (2020)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
context free languages
context free grammars
inductive inference
finite state
grammar rules
attribute grammars
parse tree
high level
natural language processing
model checking