Special Feature Partial Evaluation and Program Transformation
Author: Robert Glück
Publisher:
Published: 2002
Total Pages: 139
ISBN-13:
DOWNLOAD EBOOKRead and Download eBook Full
Author: Robert Glück
Publisher:
Published: 2002
Total Pages: 139
ISBN-13:
DOWNLOAD EBOOKAuthor: Neil D. Jones
Publisher: Peter Sestoft
Published: 1993
Total Pages: 426
ISBN-13: 0130202495
DOWNLOAD EBOOKPartial evaluation reconciles generality with efficiency by providing automatic specialization and optimization of programs. This book covers the entire field of partial evaluation; provides simple and complete algorithms; and demonstrates that specialization can increase efficiency.
Author: Robert Glück
Publisher:
Published: 2002
Total Pages: 124
ISBN-13:
DOWNLOAD EBOOKAuthor: Anders Haraldsson
Publisher: Linköping University Electronic Press
Published: 2017-10-09
Total Pages: 265
ISBN-13: 9173721441
DOWNLOAD EBOOKProgram manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. If a parameter to a procedure is constant a specialized version of that procedure can be generated if the constant is inserted instead of the parameter in the procedure body and as much computations in the code as possible are performed. A system is described which works on programs written in INTERLISP, and which performs partial evaluation together with other transformations such as beta-expansion and certain other optimization operations. The system works on full LISP and not only for a "pure" LISP dialect, and deals with problems occurring there involving side-effects, variable assignments etc. An analysis of a previous system, REDFUN, results in a list of problems, desired extensions and new features. This is used as a basis for a new design, resulting in a new implementation, REDFUN-2. This implementation, design considerations, constraints in the system, remaining problems, and other experience from the development and experiments with the system are reported in this paper.
Author: John Hatcliff
Publisher: Springer
Published: 2007-07-16
Total Pages: 445
ISBN-13: 3540470182
DOWNLOAD EBOOKAs the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.
Author: I. J. R. McLurcan
Publisher:
Published: 1988
Total Pages:
ISBN-13:
DOWNLOAD EBOOKAuthor: Dines Bjørner
Publisher: North Holland
Published: 1988
Total Pages: 668
ISBN-13:
DOWNLOAD EBOOKThe aim of Partial Evaluation and Mixed Computation is to construct, when given a program and some form of restriction on its usage (e.g. knowledge of some but not all of its input parameter values), a more efficient new or ''residual'' program that is equivalent to the original program when used according to the restriction. Compiling and compiler generation are just two of the many applications. It is thus a form of program transformation, but with more emphasis on purely automatic methods than traditional program transformation. This volume collects a variety of examples of current work in the field. The papers demonstrate the vitality of this emerging area with contributions covering many different aspects, such as programming languages, application areas, degrees of automation, degrees of formality, and technical methods.
Author: Sandro Etalle
Publisher: Springer Science & Business Media
Published: 2005-06-24
Total Pages: 286
ISBN-13: 3540266550
DOWNLOAD EBOOKThis book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.
Author: J. Zhang
Publisher:
Published: 1990
Total Pages: 26
ISBN-13:
DOWNLOAD EBOOKAuthor:
Publisher:
Published: 1997
Total Pages: 228
ISBN-13:
DOWNLOAD EBOOK