Login / Signup
A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis.
Li Miao
Da-Fang Zhang
Published in:
FCST (2010)
Keyphrases
</>
context sensitive
data analysis
graph grammars
learning algorithm