24 citations · 39 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Improving Thread-Modular Abstract Interpretation
Michael Schwarz, Simmo Saan, Helmut Seidl +3
We give thread-modular non-relational value analyses as abstractions of a local trace semantics. The semantics as well as the analyses are formulated by means of global invariants…
cs.FL2021
Definability Results for Top-Down Tree Transducers
Sebastian Maneth, Helmut Seidl, Martin Vu
We prove that for a given deterministic top-down transducer with look-ahead it is decidable whether or not its translation is definable (1)~by a linear top-down tree transducer or…