Searching for "Fractal Symbolic Analysis" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Fractal Symbolic Analysis
- … compilers. Fractal symbolic analysis compares a program and its transformed version by repeatedly…
- Cited by 10 (1 self) – Add To MetaCart
-
Fractal Symbolic Analysis for Program Transformations
- …Abstract Fractal Symbolic Analysis for Program Transformations Restructuring compilers use…
- Cited by 5 (4 self) – Add To MetaCart
-
Fractal Symbolic Analysis for Program Transformations
- …Fractal Symbolic Analysis for Program Transformations Nikolay Mateev, Vijay Menon, Keshav Pingali…
- Add To MetaCart
-
Left-looking to right-looking and vice versa: An application of fractal symbolic analysis to linear
- …Left-looking to Right-looking and vice versa: An Application of Fractal Symbolic Analysis…
- Cited by 3 (3 self) – Add To MetaCart
-
Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear
- …Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear…
- Cited by 3 (0 self) – Add To MetaCart
-
Equational verification of cache blocking in lu decomposition using kleene algebra with tests
- … fractal symbolic analysis was introduced and applied to verify the correctness of a series of source…
- Cited by 9 (3 self) – Add To MetaCart
-
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs
- … called fractal symbolic analysis to show input-output equivalence between programs. The idea is to reduce…
- Cited by 5 (4 self) – Add To MetaCart
-
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
- …] and fractal symbolic analysis (FSA) [9], both present methods which show semantic equivalence of two versions…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 8.
