Partial Evaluation. Practice and Theory

Partial Evaluation. Practice and Theory PDF Author: John Hatcliff
Publisher:
ISBN: 9783662161821
Category :
Languages : en
Pages : 452

Get Book Here

Book Description

Partial Evaluation. Practice and Theory

Partial Evaluation. Practice and Theory PDF Author: John Hatcliff
Publisher:
ISBN: 9783662161821
Category :
Languages : en
Pages : 452

Get Book Here

Book Description


Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation PDF Author: Neil D. Jones
Publisher: Peter Sestoft
ISBN: 0130202495
Category : Bilgisayar programlaması
Languages : en
Pages : 426

Get Book Here

Book Description
Partial 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.

Semantics, Applications, and Implementation of Program Generation

Semantics, Applications, and Implementation of Program Generation PDF Author: Walid Taha
Publisher: Springer
ISBN: 3540448063
Category : Computers
Languages : en
Pages : 228

Get Book Here

Book Description
This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational techniques for supporting automatic program generation. A key goal of SAIG is to provide a unique forum for both theoreticians and practitioners to present their results and ideas to an audience from a diverse background. This year we are fortunate to have three in?uential invited speakers: Krzysztof Czarnecki (DaimlerChrysler), Tim Sheard (OGI School of Science and Engineering), and Mitchell Wand (Northeastern University). The proceedings include abstracts of the invited talks, and an invited paper by Tim Sheard. Seven technical papers and two position papers were presented at SAIG 2001.

Applied Semantics

Applied Semantics PDF Author: Gilles Barthe
Publisher: Springer
ISBN: 3540456996
Category : Language Arts & Disciplines
Languages : en
Pages : 546

Get Book Here

Book Description
This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of graduate-level lectures. The school was sponsored by the ESPRIT Working Group 26142 on Applied Semantics(APPSEM),whichoperatedbetweenApril1998andMarch2002.The purpose of this working group was to bring together leading reseachers, both in semantic theory and in implementation, with the speci?c aim of improving the communication between theoreticians and practitioners. TheactivitiesofAPPSEMwerestructuredintonineinterdisciplinarythemes: A: Semantics for object-oriented programming B: Program structuring C: Integration of functional languages and proof assistants D: Veri?cation methods E: Automatic program transformation F: Games, sequentiality, and abstract machines G: Types and type inference in programming H: Semantics-based optimization I: Domain theory and real number computation These themes were identi?ed as promising for pro?table interaction between semantic theory and practice, and were chosen to contribute to the following general topics: – description of existing programming language features; – design of new programming language features; – implementation and analysis of programming languages; – transformation and generation of programs; – veri?cation of programs. The chapters in this volume give examples of recent developments covering a broad range of topics of interest to APPSEM.

Program Evaluation Theory and Practice

Program Evaluation Theory and Practice PDF Author: Donna M. Mertens
Publisher: Guilford Press
ISBN: 1462503241
Category : Social Science
Languages : en
Pages : 642

Get Book Here

Book Description
This engaging text takes an evenhanded approach to major theoretical paradigms in evaluation and builds a bridge from them to evaluation practice. Featuring helpful checklists, procedural steps, provocative questions that invite readers to explore their own theoretical assumptions, and practical exercises, the book provides concrete guidance for conducting large- and small-scale evaluations. Numerous sample studies—many with reflective commentary from the evaluators—reveal the process through which an evaluator incorporates a paradigm into an actual research project. The book shows how theory informs methodological choices (the specifics of planning, implementing, and using evaluations). It offers balanced coverage of quantitative, qualitative, and mixed methods approaches. Useful pedagogical features include: *Examples of large- and small-scale evaluations from multiple disciplines. *Beginning-of-chapter reflection questions that set the stage for the material covered. *"Extending your thinking" questions and practical activities that help readers apply particular theoretical paradigms in their own evaluation projects. *Relevant Web links, including pathways to more details about sampling, data collection, and analysis. *Boxes offering a closer look at key evaluation concepts and additional studies. *Checklists for readers to determine if they have followed recommended practice. *A companion website with resources for further learning.

Theory-Driven Evaluations

Theory-Driven Evaluations PDF Author: Huey T. Chen
Publisher: SAGE Publications
ISBN: 1452252440
Category : Social Science
Languages : en
Pages : 331

Get Book Here

Book Description
With the publication of Theory-Driven Evaluations, Huey-Tsyh Chen has given us an ambitious volume. . . . Indeed, it is the aspiration of this book to provide a conceptual framework that integrates the diverse approaches and paradigms of evaluation. For those of us accustomed to the rhetoric of the paradigm wars that have been raging in recent years, it is refreshing to find a text that works so assiduously at reconciliation. . . . There is much that is useful in Chen′s analysis. He gives us a full and thoughtful book that attempts no less than the construction of a conceptual framework for all of program evaluation. . . . It provides an impressive compendium of source material and references spanning not only evaluation, but related work in economics and public policy (this alone is worth the price of the book). . . . Chen′s Theory-Driven Evaluations provides a stimulating, even heroic attempt to bring some conceptual integration to a field that has been too long dominated by methodological paradigms and procedural particulars. --a prepublication review for Evaluation and Program Planning "Generous use of examples which are well selected and lucidly summarized." --Contemporary Sociology "Chen introduces a new, comprehensive framework for program evaluation that is designed to bridge the gap between method and theory-oriented perspectives. . . . For program planners, decision makers, scholars, and students, this volume clarifies, illuminates and provides unique insights into the conception, construction and implementation of a wide range of programs. . . . The research examples used in the discussion draw upon various areas, such as education, welfare, health, criminal justice, job training [and] family construction to attract a wider audience." --Journal of Applied Rehabilitation Counseling Program evaluation has traditionally emphasized the application of social science research methods in evaluation activities. However, there is a growing awareness that program theory is vital for broadening the scope and enhancing the usefulness of program evaluation. In Theory-Driven Evaluations, Huey-Tsyh Chen introduces a new, comprehensive framework for program evaluation that is designed to bridge the gap between the method- and theory-oriented perspectives. He provides an intensive discussion of the nature and functions of program theory, approaches to constructing program theories, and the integration of program theory with evaluation processes. Specific types of theory-driven evaluations, as well as principles and guidelines for application are developed for meeting different policy purposes. Application of systematic strategies is illustrated by concrete examples from a variety of evaluation studies in different fields. The presentation of this new perspective directly addresses the needs and concerns in both the professional and applied areas of program evaluation. For program planners, decisionmakers, scholars and students, this volume will clarify, illuminate, and provide unique insights into the conception, construction, and implementation of a wide range of programs.

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 PDF Author: Josep Diaz
Publisher: Springer Science & Business Media
ISBN: 9783540509400
Category : Computers
Languages : en
Pages : 402

Get Book Here

Book Description
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.

Proceedings of the ... ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation

Proceedings of the ... ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PDF Author:
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 108

Get Book Here

Book Description


The Essence of Computation

The Essence of Computation PDF Author: Torben Mogensen
Publisher: Springer
ISBN: 3540363777
Category : Computers
Languages : en
Pages : 504

Get Book Here

Book Description
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications PDF Author: Samson Abramsky
Publisher: Springer
ISBN: 3540454136
Category : Mathematics
Languages : en
Pages : 441

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.