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

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics