1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Cong Sun, Liyong Tang, Zhong Chen
We propose an approach on model checking information flow for imperative language with procedures. We characterize our model with pushdown system, which has a stack of unbounded le…