3736 search results - page 436 / 748 » Hand-Writing Program Generator Generators |
203
click to vote
IEEEPACT
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
191
click to vote
CASES
2003
ACM
16 years 3 days ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
181
click to vote
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
172
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
175
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...