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: ATVA (2020)
Keyphrases
- data types
- data structure
- data model
- database management systems
- user defined
- application programs
- database systems
- decision making
- abstract data types
- decision makers
- shortest path
- visual basic
- integer arithmetic
- logical design
- database objects
- context free grammars
- edit distance
- data mining algorithms
- pattern matching
- general purpose
- face recognition
- regular expressions
- database server
- suffix tree
- database
- object relational
- stored procedures
- integer solution