Mechanised Hypersafety Proofs about Structured Data.
Vladimir GladshteinQiyuan ZhaoWillow AhrensSaman P. AmarasingheIlya SergeyPublished 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