Context-Free Session Type Inference.

Published in: ESOP (2017)

Keyphrases

context free
grammatical inference
context sensitive
context dependent
context free languages
finite state
attribute grammars
bayesian networks
inductive inference
tree languages
context free grammars
graph grammars
data model
optimal policy
pattern matching