A generalized control structure and its formal definition
Communications of the ACM
An algebra for data flow anomaly detection
ICSE '84 Proceedings of the 7th international conference on Software engineering
On the time overhead of counters and traversal markers
ICSE '81 Proceedings of the 5th international conference on Software engineering
Global data flow analysis by decomposition into primes
ICSE '82 Proceedings of the 6th international conference on Software engineering
| Hi-index | 0.02 |