A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
Taolue ChenMatthew HagueJinlong HeDenghang HuAnthony Widjaja LinPhilipp RümmerZhilin WuPublished in: CoRR (2020)
Keyphrases
- data types
- data structure
- user defined
- data model
- application programs
- decision making
- database systems
- database management systems
- decision makers
- integer arithmetic
- abstract data types
- shortest path
- data mining algorithms
- pattern matching
- decision rules
- visual basic
- context free grammars
- database objects
- object relational
- integer solution
- decision variables
- machine learning