Abstract Symbolic Automata
From MaRDI portal
Publication:2819818
DOI10.1145/2676726.2676986zbMath1345.68100MaRDI QIDQ2819818
Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni, Mila Dalla Preda
Publication date: 29 September 2016
Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2676726.2676986
68Q45: Formal languages and automata
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Inferring Symbolic Automata, Abstract similarity analysis, Twinning automata and regular expressions for string static analysis, Abstract interpretation as automated deduction