21 search results - page 5 / 5 » Gray Box Robustness Testing of Rule Systems |
HASKELL
2007
ACM
13 years 9 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...