Sciweavers

848 search results - page 12 / 170
» A Generative Programming Approach to Developing DSL Compiler...
Sort
View
APLAS
2007
ACM
13 years 11 months ago
Deriving Compilers and Virtual Machines for a Multi-level Language
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
Atsushi Igarashi, Masashi Iwaki
IPPS
2002
IEEE
14 years 14 days ago
A Performance Optimization Framework for Compilation of Tensor Contraction Expressions into Parallel Programs
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
Gerald Baumgartner, David E. Bernholdt, Daniel Coc...
LISP
2006
160views more  LISP 2006»
13 years 7 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
ITSSA
2006
116views more  ITSSA 2006»
13 years 7 months ago
A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
Arjan Seesing, Hans-Gerhard Groß
APSEC
2001
IEEE
13 years 11 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge