Analysis of loops
Authors:
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 80-94
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Cache behavior prediction by abstract interpretation1996
- Property-oriented expansion1996
- Generation of efficient interprocedural analyzers with PAGLecture Notes in Computer Science, 1995
- Elimination algorithms for data flow analysisACM Computing Surveys, 1986