Verifying correct usage of context-free API protocols.

Kostas Ferles Jon Stephens Isil Dillig

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
context free grammars
finite state
context free languages
attribute grammars
inductive inference
graph grammars
grammar rules
parse tree
database systems
knowledge representation
computational model
data exchange