Sciweavers

2 search results - page 1 / 1
» Direct Planar Tree Transformation and Counterexample
Sort
View
47
Voted
CCCG
2008
14 years 11 months ago
Direct Planar Tree Transformation and Counterexample
Selim G. Akl, Kamrul Islam, Henk Meijer
ESOP
2000
Springer
15 years 1 months ago
Compile-Time Debugging of C Programs Working on Trees
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...
Jacob Elgaard, Anders Møller, Michael I. Sc...