3736 search results - page 579 / 748 » Hand-Writing Program Generator Generators |
164
click to vote
ESOP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
183
click to vote
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
157
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...
214
click to vote
ACL2
2006
ACM
16 years 9 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
163
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...