Login / Signup
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata.
Zhe Zhou
Qianchuan Ye
Benjamin Delaware
Suresh Jagannathan
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
finite automata
symbolic representation
regular expressions
symbolic description
grammatical inference
probabilistic automata
tree automata
conceptual spaces
finite automaton
deterministic automata
keywords
domain specific
binary decision diagrams