3736 search results - page 205 / 748 » Hand-Writing Program Generator Generators |
294
Voted
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
198
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
150
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
185
click to vote
TSE
2010
15 years 4 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
176
Voted
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...