A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.
David NiedzielskiJeffery von RonneAndreas GampeKleanthis PsarrisPublished in: SAS (2009)
Keyphrases
- control flow
- data flow
- upper bound
- process model
- transition systems
- software testing
- lower bound
- modeling language
- sufficient conditions
- worst case
- formal semantics
- business process models
- data acquisition
- workflow management systems
- high level
- reactive systems
- data sets
- linear constraints
- memory hierarchy
- web services