Abstract allocation as a unified approach to polyvariance in control-flow analyses.
Thomas GilrayMichael D. AdamsMatthew MightPublished in: J. Funct. Program. (2018)
Keyphrases
- control flow
- data flow
- transition systems
- process model
- software testing
- resource allocation
- business process models
- reactive systems
- modeling language
- workflow management systems
- high level
- database
- decision making
- data sets
- relational databases
- business processes
- theorem prover
- web services
- information systems
- databases