Searching for "Inverse Image Analysis." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Backward Analysis for Higher-Order Functions Using Inverse Images
- …Backward Analysis for Higher--Order Functions Using Inverse Images Tyng--Ruey Chuang Benjamin…
- Cited by 3 (0 self) – Add To MetaCart
-
Using Projection Analysis in Compiling Lazy Functional Programs
- … analyses such as those based on projections (e.g. [22]), the work of Hall ([11]), and inverse image…
- Cited by 16 (6 self) – Add To MetaCart
-
Demand Transformation Analysis for Concurrent Constraint Programs
- …-transformer analysis [1, 2], stream-strictness analysis [16], inverse image analysis [14], and Lindstrom's backwards…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 3.
