Loop monotonic computations
- 1 October 1991
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- An empirical comparison of monitoring algorithms for access anomaly detectionPublished by Association for Computing Machinery (ACM) ,1990
- Automatic recognition of induction variables and recurrence relations by abstract interpretationPublished by Association for Computing Machinery (ACM) ,1990
- A fresh look at optimizing array bound checkingPublished by Association for Computing Machinery (ACM) ,1990
- On-the-fly detection of access anomaliesPublished by Association for Computing Machinery (ACM) ,1989
- Event synchronization analysis for debugging parallel programsPublished by Association for Computing Machinery (ACM) ,1989
- Automatic detection of nondeterminacy in parallel programsPublished by Association for Computing Machinery (ACM) ,1988
- A mechanism for efficient debugging of parallel programsPublished by Association for Computing Machinery (ACM) ,1988
- Dependence Analysis for SupercomputingPublished by Springer Nature ,1988
- Optimization of range checkingPublished by Association for Computing Machinery (ACM) ,1982