Completeness in Approximate Transduction
No abstract available.
Related papers
- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets CAV 2013
- Polyregular Model Checking CAV 2025
- String constraints with concatenation and transducers solved efficiently POPL 2018
- Regular Reinforcement Learning CAV 2024
- Semantic Foundations for Deterministic Dataflow and Stream Processing ESOP 2020
- String solving with word equations and transducers: towards a logic for analysing mutation XSS POPL 2016
- The Power of Regular Constraint Propagation OOPSLA 2025
- On the Soundness of Auto-completion Services for Dynamically Typed Languages GPCE 2024