41 search results - page 9 / 9 » Loop Transformation Recipes for Code Generation and Auto-Tun... |
ESOP
2000
Springer
13 years 8 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...