TITLE

# Chapter 1: Best Student Paper: A New Approach to One-Pass Transformations

AUTHOR(S)
Millikin, Kevin
PUB. DATE
January 2007
SOURCE
Trends in Functional Programming Volume 6;2007, Vol. 6, p1
SOURCE TYPE
Book
DOC. TYPE
Article
ABSTRACT
We show how to construct a one-pass optimizing transformation by fusing a non-optimizing transformation with an optimization pass. We state the transformation in build form and the optimization pass in cata form, i.e., as a catamorphism; and we use cata/build fusion to combine them. We illustrate the method by fusing Plotkin's call-by-value and call-by-name CPS transformations with a reduction-free normalization function for the Î»-calculus, thus obtaining two new one-pass CPS transformations.
ACCESSION #
26215072

## Related Articles

• An Extension of the Fermat-Torricelli Problem. Tan, T. V. // Journal of Optimization Theory & Applications;Sep2010, Vol. 146 Issue 3, p735

The Fermat-Torricelli problem is an optimization problem associated with a finite subset $\{a_{j}\}_{j=1}^{q}$ of R and a family $\{c_{j}\}_{j=1}^{q}$ of positive weights. The function F to be minimized is defined by $F(x)=\sum _{j=1}^{q}c_{j}\Vert x-a_{j}\Vert$. In this paper, we extend this...

• Augmented Lagrangian method with nonmonotone penalty parameters for constrained optimization. Birgin, Ernesto; Martínez, J. // Computational Optimization & Applications;Apr2012, Vol. 51 Issue 3, p941

At each outer iteration of standard Augmented Lagrangian methods one tries to solve a box-constrained optimization problem with some prescribed tolerance. In the continuous world, using exact arithmetic, this subproblem is always solvable. Therefore, the possibility of finishing the subproblem...

• A NOVEL FRACTIONAL-ORDER HYPERCHAOTIC SYSTEM AND ITS CIRCUIT REALIZATION. LIU, CHONGXIN; LU, JUNJIE // International Journal of Modern Physics B: Condensed Matter Phys;4/20/2010, Vol. 24 Issue 10, p1299

In this paper, a fractional-order hyperchaotic system evolved from Liu system is proposed. Based on the theory of fractional calculus, a novel circuit diagram is designed for hardware implementation of the fractional-order hyperchaotic Liu system. Furthermore, implementation results reveal that...

• Primal-Dual Nonlinear Rescaling Method for Convex Optimization. Polyak, R.; Griva, I.; Potra, F. A. // Journal of Optimization Theory & Applications;Jul2004, Vol. 122 Issue 1, p111

In this paper, we consider a general primal-dual nonlinear rescaling (PDNR) method for convex optimization with inequality constraints. We prove the global convergence of the PDNR method and estimate the error bounds for the primal and dual sequences. In particular, we prove that, under the...

• A Note on the Guignard Constraint Qualification and the Guignard Regularity Condition in Vector Optimization. Giorgi, Giorgio // Applied Mathematics;Apr2013, Vol. 4 Issue 4, p734

Some remarks are made on the use of the Abadie constraint qualification, the Guignard constraint qualifications and the Guignard regularity condition in obtaining weak and strong Kuhn-Tucker type optimality conditions in differentiable vector optimization problems.

• Existence, Uniqueness of solutions for Set Differential Equations involving causal Operators with Memory. Devi, J. Vasundhara // European Journal of Pure & Applied Mathematics;2010, Vol. 3 Issue 4, p737

In this paper, we obtain existence and uniqueness results of IVP for set differential equations involving causal operators with memory. This paper is 2nd in sequel. In the first one we obtained inequality results and existence results for set causal operators involving memory.

• DOUBLE FAULT DISTINGUISHABILITY IN LINEAR SYSTEMS. KOŚCIELNY, JAN MACIEJ; ŁABĘDA-GRUDZIAK, ZOFIA M. // International Journal of Applied Mathematics & Computer Science;Jun2013, Vol. 23 Issue 2, p395

This paper develops a new approach to double fault isolation in linear systems with the aid of directional residuals. The method of residual generation for computational as well as internal forms is applied. Isolation of double faults is based on the investigation of the coplanarity of the...

• APPLICATION OF THE DIFFERENTIAL TRANSFORM METHOD TO DIFFERENTIAL-ALGEBRAIC EQUATIONS WITH INDEX 2. OSMANOGLU, Murat; KURULAY, Muhammet; BAYRAM, Mustafa // Afyon Kocatepe University Journal of Science;2008, Vol. 8 Issue 1, p259

No abstract available.

• Modification and comparative analysis of smooth control laws for a group of agents. Morozov, Yu. // Automation & Remote Control;Nov2012, Vol. 73 Issue 11, p1838

We consider the control problem for a group containing a given number of uninformed agents; this is a consensus problem. An agent's model is defined by a two-dimensional integrator. The purpose of this work is to synthesize a decentralized smooth law of the agents' motion in a multiagent system...

Share