11 citations · 33 across the 10 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.CC2009★ 11 cited
Beyond Language Equivalence on Visibly Pushdown Automata
Jiří Srba
We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-…
cs.DS2009
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
Morten Kühnrich, Stefan Schwoon, Jiří Srba +1
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes after…