Refinement of path expressions for static analysis.
John CyphertJason BreckZachary KincaidThomas W. RepsPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- static analysis
- path expressions
- regular expressions
- dynamic analysis
- xml data
- xml documents
- semistructured data
- cost model
- object oriented databases
- query language
- pattern matching
- xml queries
- complex objects
- source code
- semi structured data
- query evaluation
- xml schema
- query optimization
- structured data
- data model
- real world
- semi structured
- xml databases
- knowledge base