Login / Signup
Checking Refinement of Asynchronous Programs against Context-Free Specifications.
Pascal Baumann
Moses Ganardi
Rupak Majumdar
Ramanathan S. Thinniyam
Georg Zetzsche
Published in:
CoRR (2023)
Keyphrases
</>
context free
attribute grammars
context sensitive
context dependent
delay insensitive
grammatical inference
context free languages
context free grammars
inductive inference
finite state
graph grammars
parse tree
grammar rules
high level
information retrieval
language learning
low level