Execution environments such as CLR and JVM provide many features needed by multistage programming languages, though there is no explicit support for them. Besides, staged computations are widely used in areas such as Web programming and generative programming. In the paper the authors present a possible CLR extension (which can also be ported to JVM) to provide support for multi-stage languages. The extension is based on CodeBricks - a framework for run-time code generation which allows expressing homogenous transformations of intermediate language as a composition of methods. They discuss the code generation strategy adopted by the framework and how an extension to CLR may improve the performance of multi-stage applications, although CodeB...
We present a framework for code generation that allows programs to manipulate and generate code at t...
This paper presents early experience with a typed programming language and compiler for run-time cod...
The domain of high-performance computing is still dominated by manual optimiza-tions of programs wri...
MetaML is a statically typed functional programming language with special support for program genera...
Multi-stage programming is a programming paradigm that supports runtime code generation and executio...
MetaML is a statically typed functional programming language with special support for programgenerat...
AbstractWe introduce MetaML, a practically motivated, statically typed multi-stage programming langu...
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the pu...
This paper presents early experience with a typed programming language and compiler for run-time cod...
Partial evaluation allows for specialization of program fragments. This can be realized by staging, ...
Abstract. Previous work on semantics-based multi-stage programming (MSP) language design focused on ...
Multi-stage programming is a valuable technique for improving the performance of computer programs t...
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneou...
This paper presents a typed programming language and compiler for run-time code generation. The lang...
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneo...
We present a framework for code generation that allows programs to manipulate and generate code at t...
This paper presents early experience with a typed programming language and compiler for run-time cod...
The domain of high-performance computing is still dominated by manual optimiza-tions of programs wri...
MetaML is a statically typed functional programming language with special support for program genera...
Multi-stage programming is a programming paradigm that supports runtime code generation and executio...
MetaML is a statically typed functional programming language with special support for programgenerat...
AbstractWe introduce MetaML, a practically motivated, statically typed multi-stage programming langu...
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the pu...
This paper presents early experience with a typed programming language and compiler for run-time cod...
Partial evaluation allows for specialization of program fragments. This can be realized by staging, ...
Abstract. Previous work on semantics-based multi-stage programming (MSP) language design focused on ...
Multi-stage programming is a valuable technique for improving the performance of computer programs t...
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneou...
This paper presents a typed programming language and compiler for run-time code generation. The lang...
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneo...
We present a framework for code generation that allows programs to manipulate and generate code at t...
This paper presents early experience with a typed programming language and compiler for run-time cod...
The domain of high-performance computing is still dominated by manual optimiza-tions of programs wri...