3736 search results - page 112 / 748 » Hand-Writing Program Generator Generators |
110
click to vote
ICAI
2004
15 years 3 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
114
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
112
click to vote
OOPSLA
2010
Springer
15 years 25 days ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
117
Voted
SAS
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
108
Voted
ENTCS
2006
15 years 2 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...