848 search results - page 22 / 170 » A Generative Programming Approach to Developing DSL Compiler... |
106
Voted
ICDE
2010
IEEE
16 years 5 days ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
113
click to vote
IJPP
2011
14 years 3 months ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
104
Voted
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
88
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
XML delivers key advantages in interoperability due to its flexibility, expressiveness, and platform-neutrality. As XML has become a performance-critical aspect of the next genera...
138
click to vote
ICFP
2006
ACM
16 years 12 days ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...