The following pages link to (Q4125700):
Displaying 11 items.
- A region analysis algorithm for the live variables problem (Q799117) (← links)
- Pathlistings applied to data flow analysis (Q1155957) (← links)
- Semantic decomposition of computer programs: An aid to program testing (Q1211839) (← links)
- An \(O(n)\) algorithm for computing the set of available expressions of D-charts (Q1220380) (← links)
- Testing flow graph reducibility (Q1221484) (← links)
- Function iteration logics and flowchart schemata (Q1226854) (← links)
- Node listings for reducible flow graphs (Q1236887) (← links)
- Profitability computations on program flow graphs (Q1242449) (← links)
- Monotone data flow analysis frameworks (Q1245693) (← links)
- The method of attributes for data flow analysis. I: Exhaustive analysis (Q1249039) (← links)
- Bibliography on the evaluation of numerical software (Q1254823) (← links)
