Practical partial evaluation by Surati, Rajeev J. (Rajeev Jayantilal)

Get full text

Tutorial on Online Partial Evaluation by William R. Cook, Ralf Lämmel

“…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. …”
Get full text

Exploiting the Parallelism Exposed by Partial Evaluation by Berlin, Andrew A., Surati, Rajeev J.

“…We describe an approach to parallel compilation that seeks to harness the vast amount of fine-grain parallelism that is exposed through partial evaluation of numerically-intensive scientific programs. …”
Get full text

Exploiting the Parallelism Exposed by Partial Evaluation by Surati, Rajeev

“…We describe the key role played by partial evaluation in the Supercomputing Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. …”
Get full text

Partial evaluation and MIX compilation in PROLOG by Fuller, D, Abramsky, S

Partial Evaluation as a Means of Language Extensibility by Schooler, Richard

“…An optimization technique known as partial evaluation is explored. A partial evaluator optimizes code by making use of static information about program values. …”
Get full text

Compiling Scientific Code Using Partial Evaluation by Berlin, Andrew, Weise, Daniel

“…We have developed a compiler that uses partial evaluation and scheduling techniques to provide a solution to this dilemma.…”
Get full text

A Parallelizing Compiler Based on Partial Evaluation by Surati, Rajeev

Subjects: Get full text

An API for dynamic partial evaluation under DynamoRIO by Leger, Christopher, 1981-

Get full text

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience by Berlin, Andrew, Surati, Rajeev

“…We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. …”
Get full text

Dynamic Specialisation of XC6200 FPGAs by Partial Evaluation by McKay, N, Melham, T, Susanto, K, Singh, S

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations by Cooper, J, McKeever, S, Garny, A

“…In particular, we demonstrate that partial evaluation is a promising technique for this purpose, and that it combines well with a lookup table technique, commonly used in cardiac modelling, which we have automated. …”

A partial evaluation approach for the School Bus Routing Problem by Ana Camila Pérez, Eduardo Sánchez-Ansola, Alejandro Rosete, Omar Rojas, Guillermo Sosa-Gómez

Subjects: Get full text

A partial evaluation methodology for optimizing rewrite theories incrementally by María Alpuente, Demis Ballis, Santiago Escobar, Daniel Galán Pascual, Julia Sapiña

Subjects: “…Narrowing-based partial evaluation…”
Get full text

Type Directed Partial Evaluation for Level-1 Shift and Reset by Danko Ilik

“…We present an implementation in the Coq proof assistant of type directed partial evaluation (TDPE) algorithms for call-by-name and call-by-value versions of shift and reset delimited control operators, and in presence of strong sum types. …”
Get full text

Partial Evaluation and Efficient Discarding for the Maximal Covering Location Problem by Cynthia Porras, Jenny Fajardo, Alejandro Rosete, Antonio D. Masegosa

Subjects: Get full text

An Interactive Specializer Based on Partial Evaluation for a Java Subset by I. A. Adamovich, And. V. Klimov

“…In this paper we provide a work-in-progress report on results of development of an interactive specializer based on partial evaluation for a subset of the Java programming language. …”
Get full text

JET : an application of partial evaluation in dynamic code generation for Java by Chao, Tony (Tony Hann-Ching), 1978-

Get full text

A Compilation Strategy for Numerical Programs Based on Partial Evaluation by Berlin, Andrew A.

“…This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. …”
Get full text

New partial evaluation function in constructive hypher-heuristic framework for examination timetabling problem. by Pour, Sh. Mohammad, Md Sultan, Abu Bakar, Sulaiman, Md. Nasir, Zarrin, Bahram

“…In this paper we introduce a new partial evaluation function formula to evaluate partial solutions in a constructive hyperheuristic framework for solving Examination Timetabling Problem (ETTP). …”