A parametric abstract domain for lattice-valued regular expressions

DOI10.1007/978-3-662-53413-7_17zbMath1394.68080OpenAlexW2515137674MaRDI QIDQ1664397

Hanne Riis Nielson, Flemming Nielson, Jan Midtgaard

Publication date: 27 August 2018

Full work available at URL: https://backend.orbit.dtu.dk/ws/files/126417522/paper_33.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Twinning automata and regular expressions for string static analysis

This page was built for publication: A parametric abstract domain for lattice-valued regular expressions