Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond.
Avik ChaudhuriPublished in: PLAS@CCS (2016)
Keyphrases
- type checking
- abstract interpretation
- termination analysis
- static analysis
- data types
- active rules
- query processor
- model checking
- reasoning engine
- open source
- relational calculus
- dynamic analysis
- active databases
- object model
- user defined
- data management
- reverse engineering
- abstract data types
- relational algebra
- normal form
- database management systems