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