24 citations · 39 across the 15 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
How to decide Functionality of Compositions of Top-Down Tree Transducers
Sebastian Maneth, Helmut Seidl, Martin Vu
We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look-ahead.
cs.PL2022★ 1 cited
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
Julian Erhard, Simmo Saan, Sarah Tilscher +4
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results,…