41 search results - page 9 / 9 » Loop Transformation Recipes for Code Generation and Auto-Tun... |
168
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...