Topics
parallel computingProgramming language
Abstract: The specializer CILPE, based on partial evaluation, transforms programs written in SOOL, a Stack Object-Oriented Language. In the paper the correctness of CILPE is proven: if the annotations in a source program are correct, the residual program generator produces a residual program that is equivalent to the source one for the specified values of the S-arguments and any values of D-arguments.Note: Research direction:Programming, parallel computing, multimedi
Schema-based logic program transformation has proven to be an eective technique for the optimiza-tio...
The paper presents two examples of non-traditional using of pro-gram specialization by Turchin’s sup...
Abstract. We rationally reconstruct the core of the Coccinelle system, used for automating and docum...
Abstract: In a program specializer, the Residual Program Generator (RPG) takes as input a ...
Abstract: The features of CILPE, a program specializer for Common Intermediate Language (C...
Abstract: Binding Time Analysis (BTA, BT-analysis) is an essential part of the Partial Eva...
AbstractCommon subexpression elimination (CSE) is a well-known method for code optimization in compi...
Program specialization is a program transformation methodology which improves program efficiency by ...
The essence of partial evaluation is beautifully simple: we just take a program, together with value...
Common subexpression elimination (CSE) is a well-known method for code optimization in compilers. A ...
A Domain-Specific Language (DSL) is a small, usually declarative, language expressive over the disti...
Program specialization is a collection of program transformation techniques for improving program ef...
Program specialization is a collection of program transformation techniques for improving program ef...
We clarify the relationship between abstract interpretation and program spe-cialisation in the conte...
Programming language implementations bridge the gap between what the program developer sees and unde...
Schema-based logic program transformation has proven to be an eective technique for the optimiza-tio...
The paper presents two examples of non-traditional using of pro-gram specialization by Turchin’s sup...
Abstract. We rationally reconstruct the core of the Coccinelle system, used for automating and docum...
Abstract: In a program specializer, the Residual Program Generator (RPG) takes as input a ...
Abstract: The features of CILPE, a program specializer for Common Intermediate Language (C...
Abstract: Binding Time Analysis (BTA, BT-analysis) is an essential part of the Partial Eva...
AbstractCommon subexpression elimination (CSE) is a well-known method for code optimization in compi...
Program specialization is a program transformation methodology which improves program efficiency by ...
The essence of partial evaluation is beautifully simple: we just take a program, together with value...
Common subexpression elimination (CSE) is a well-known method for code optimization in compilers. A ...
A Domain-Specific Language (DSL) is a small, usually declarative, language expressive over the disti...
Program specialization is a collection of program transformation techniques for improving program ef...
Program specialization is a collection of program transformation techniques for improving program ef...
We clarify the relationship between abstract interpretation and program spe-cialisation in the conte...
Programming language implementations bridge the gap between what the program developer sees and unde...
Schema-based logic program transformation has proven to be an eective technique for the optimiza-tio...
The paper presents two examples of non-traditional using of pro-gram specialization by Turchin’s sup...
Abstract. We rationally reconstruct the core of the Coccinelle system, used for automating and docum...
Add to ORKG