21 search results - page 5 / 5 » Gray Box Robustness Testing of Rule Systems |
149
click to vote
HASKELL
2007
ACM
15 years 6 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...