Context-Free Session Type Inference.

Published in: ACM Trans. Program. Lang. Syst. (2019)

Keyphrases

context free
grammatical inference
context sensitive
context free languages
context dependent
finite state
context free grammars
inductive inference
graph grammars
attribute grammars
domain knowledge
knowledge based systems
fuzzy rules
tree languages