848 search results - page 18 / 170 » A Generative Programming Approach to Developing DSL Compiler... |
151
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
110
click to vote
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
148
click to vote
SAC
2008
ACM
14 years 12 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
100
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...
108
Voted
ICFP
2008
ACM
16 years 11 days ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...