Sign in
Grammar-Based String Refinement Types.
Fengmin Zhu
Published in:
ICSE Companion (2023)
Keyphrases
</>
context free grammars
edit distance
decision making
information systems
website
data structure
speech understanding
computer vision
image processing
database systems
similarity measure
multiresolution
pattern matching
multiple types