Mechanised Hypersafety Proofs about Structured Data: Extended Version.
Vladimir GladshteinQiyuan ZhaoWillow AhrensSaman P. AmarasingheIlya SergeyPublished in: CoRR (2024)
Keyphrases
- structured data
- semi structured
- relational data
- information extraction
- xml documents
- semi structured data
- keyword search
- semistructured data
- free text
- structured information
- unstructured data
- data sources
- structured databases
- text data
- textual data
- linked data
- metadata
- graph data
- evolutionary algorithm
- graph kernels
- text databases
- tree kernels
- search engine