Completeness in approximate transduction

DOI10.1007/978-3-662-53413-7_7zbMath1394.68208OpenAlexW2511285161MaRDI QIDQ1664380

Isabella Mastroeni, Mila Dalla Preda, Roberto Giacobazzi

Publication date: 27 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-53413-7_7

zbMATH Keywords

abstract interpretationsymbolic automatasymbolic transducers

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Completeness of string analysis for dynamic languages

This page was built for publication: Completeness in approximate transduction