2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Yasuhiko Minamide
The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of a weighted pushdown…