Results 11 - 20 of 13,652

Partial evaluation of Standard ML

by Lars Birkedal, Morten Welinder , 1993
"... This thesis describes offline partial evaluation of the core of Standard ML, a large typed functional language. Unlike previous partial evaluators for larger languages (like for instance Similix for a subset of Scheme or C-Mix for a subset of C) we have chosen not do to the partial evaluation direct ..."
Abstract - Cited by 45 (1 self) - Add to MetaCart
This thesis describes offline partial evaluation of the core of Standard ML, a large typed functional language. Unlike previous partial evaluators for larger languages (like for instance Similix for a subset of Scheme or C-Mix for a subset of C) we have chosen not do to the partial evaluation

Distributed partial evaluation

by Michael Sperber, et al.
"... Partial evaluation is an automatic program transformation that optimizes programs by specialization. We speed up the specialization process by utilizing the natural coarse-grained parallelism inherent in the partial evaluation process. We have supplemented an existing partial evaluation system for t ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
Partial evaluation is an automatic program transformation that optimizes programs by specialization. We speed up the specialization process by utilizing the natural coarse-grained parallelism inherent in the partial evaluation process. We have supplemented an existing partial evaluation system

Program Analysis and Specialization for the C Programming Language

by Lars Ole Andersen , 1994
"... Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to maintain. On the other hand, generality has a price: efficiency. A specialized program solving a particular problem is often significantly faster than a general program. ..."
Abstract - Cited by 629 (0 self) - Add to MetaCart
. However, the development of specialized software is time-consuming, and is likely to exceed the production of today’s programmers. New techniques are required to solve this so-called software crisis. Partial evaluation is a program specialization technique that reconciles the benefits of generality

Tutorial on Online Partial Evaluation

by William R. Cook, Ralf Lämmel - In Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, volume 66 of EPTCS , 2011
"... This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally defi ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally

Partial Evaluation of MATLAB

by Daniel Elphick, Michael Leuschel, Simon Cox - In Proceedings of the second international conference on Generative Programming and Component Engineering , 2003
"... We describe the problems associated with the creation of high performance code for mathematical computations. We discuss the advantages and disadvantages of using a high level language like MATLAB and then propose partial evaluation as a way of lessening the disadvantages at little cost. We then go ..."
Abstract - Cited by 13 (0 self) - Add to MetaCart
We describe the problems associated with the creation of high performance code for mathematical computations. We discuss the advantages and disadvantages of using a high level language like MATLAB and then propose partial evaluation as a way of lessening the disadvantages at little cost. We then go

Resource-Bounded Partial Evaluation

by Saumya Debray - In Proceedings of PEPM’97, the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
"... Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation---causing, in extreme cases, the specialized code ..."
Abstract - Cited by 14 (0 self) - Add to MetaCart
Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation---causing, in extreme cases, the specialized

Normalization and partial evaluation

by Peter Dybjer, Andrzej Filinski - Applied Semantics, number 2395 in LNCS , 2002
"... Abstract. We give an introduction to normalization by evaluation and type-directed partial evaluation. We first present normalization by evaluation for a combinatory version of Gödel System T. Then we show normalization by evaluation for typed lambda calculus with β and η conversion. Finally, we int ..."
Abstract - Cited by 20 (0 self) - Add to MetaCart
Abstract. We give an introduction to normalization by evaluation and type-directed partial evaluation. We first present normalization by evaluation for a combinatory version of Gödel System T. Then we show normalization by evaluation for typed lambda calculus with β and η conversion. Finally, we

Practical Partial Evaluation

by Rajeev Surati , 1995
"... Partial evaluation techniques have been known to yield order of magnitude speedups of real-world applications. Despite this tremendous potential, partial evaluators are rarely put to practical use. This is primarily because it is not easy for users to extend partial evaluators to work on their speci ..."
Abstract - Add to MetaCart
Partial evaluation techniques have been known to yield order of magnitude speedups of real-world applications. Despite this tremendous potential, partial evaluators are rarely put to practical use. This is primarily because it is not easy for users to extend partial evaluators to work

Integrating Partial Evaluators into Interpreters

by Kenichi Asai - In Second International Workshop on Semantics, Applications and Implementation of Program Generation , 2001
"... This paper describes our first step towards the integration of partial evaluation into standard interpretation. The two main issues in this integration are the treatment of heap objects and side-effects. ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
This paper describes our first step towards the integration of partial evaluation into standard interpretation. The two main issues in this integration are the treatment of heap objects and side-effects.

A Partial Evaluator for Curry

by Michael Hanus, Björn Peemöller
"... Abstract. We present a partial evaluator for functional logic programs written in Curry. In contrast to previous approaches to the partial evaluation of functional logic programs, we take into account the features used in contemporary Curry programs, in particular, non-deterministic operations and r ..."
Abstract - Add to MetaCart
Abstract. We present a partial evaluator for functional logic programs written in Curry. In contrast to previous approaches to the partial evaluation of functional logic programs, we take into account the features used in contemporary Curry programs, in particular, non-deterministic operations
Results 11 - 20 of 13,652