Grammar-Based String Refinement Types.

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