Login / Signup
Mechanised Hypersafety Proofs about Structured Data.
Vladimir Gladshtein
Qiyuan Zhao
Willow Ahrens
Saman P. Amarasinghe
Ilya Sergey
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
structured data
semi structured
information extraction
free text
relational data
xml documents
data sources
unstructured data
semi structured data
keyword search
structured information
unstructured text
textual data
linked data
structured databases
text data
metadata
tree structured data
structured and unstructured data
genetic programming
structured queries
relational databases
decision trees
database