Incremental data-flow analysis algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using induction to design algorithms
Communications of the ACM
A least cost partition algorithm
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems
Average case analysis of DJ graphs
Journal of Discrete Algorithms
A new elimination-based data flow analysis framework using annotated decomposition trees
CC'07 Proceedings of the 16th international conference on Compiler construction
Static detection of access anomalies in ada95
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A symbolic analysis framework for static analysis of imperative programming languages
Journal of Systems and Software
| Hi-index | 0.02 |