Partial Evaluation: Practice and Theory
Partial Evaluation: Practice and Theory

Author: John Hatcliff

Publisher: Springer

Published: 2007-07-16

Total Pages: 445

ISBN-13: 3540470182

DOWNLOAD EBOOK

As 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.

Partial Evaluation and Automatic Program Generation
Partial Evaluation and Automatic Program Generation

Author: Neil D. Jones

Publisher: Peter Sestoft

Published: 1993

Total Pages: 426

ISBN-13: 0130202495

DOWNLOAD EBOOK

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.

Project Factorisations in Partial Evaluation
Project Factorisations in Partial Evaluation

Author: John Launchbury

Publisher: Cambridge University Press

Published: 1991-10-24

Total Pages: 182

ISBN-13: 9780521414975

DOWNLOAD EBOOK

This thesis covers the theory and practice behind practical evaluation. It explores how programmers write programs in a highly interpretive style without paying the price in efficiency.

The Essence of Computation
The Essence of Computation

Author: Torben Mogensen

Publisher: Springer

Published: 2003-07-01

Total Pages: 504

ISBN-13: 3540363777

DOWNLOAD EBOOK

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.

Foundations of Secure Computation
Foundations of Secure Computation

Author: Friedrich L. Bauer

Publisher: IOS Press

Published: 2000

Total Pages: 346

ISBN-13: 9781586030155

DOWNLOAD EBOOK

The final quarter of the 20th century has seen the establishment of a global computational infrastructure. This and the advent of programming languages such as Java, supporting mobile distributed computing, has posed a significant challenge to computer sciences. The infrastructure can support commerce, medicine and government, but only if communications and computing can be secured against catastrophic failure and malicious interference.

Logic, Language and Computation
Logic, Language and Computation

Author: Neil Jones

Publisher: Springer Science & Business Media

Published: 1994-03-30

Total Pages: 292

ISBN-13: 9783540579359

DOWNLOAD EBOOK

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.

Programming Languages and Systems
Programming Languages and Systems

Author: Pierpaolo Degano

Publisher: Springer

Published: 2003-07-01

Total Pages: 428

ISBN-13: 3540365753

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Perspectives of Systems Informatics
Perspectives of Systems Informatics

Author: Manfred Broy

Publisher: Springer Science & Business Media

Published: 2004-01-13

Total Pages: 587

ISBN-13: 3540208135

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

Perspectives on Soviet and Russian Computing
Perspectives on Soviet and Russian Computing

Author: John Impagliazzo

Publisher: Springer

Published: 2011-09-06

Total Pages: 293

ISBN-13: 364222816X

DOWNLOAD EBOOK

This book contains a collection of thoroughly refereed papers derived from the First IFIP WG 9.7 Conference on Soviet and Russian Computing, held in Petrozavodsk, Russia, in July 2006. The 32 revised papers were carefully selected from numerous submissions; many of them were translated from Russian. They reflect much of the shining history of computing activities within the former Soviet Union from its origins in the 1950s with the first computers used for military decision-making problems up to the modern period where Russian ICT grew substantially, especially in the field of custom-made programming.

Programming Language Implementation and Logic Programming
Programming Language Implementation and Logic Programming

Author: Jan Małuszyński

Publisher: Springer Science & Business Media

Published: 1991-08-14

Total Pages: 452

ISBN-13: 9783540544449

DOWNLOAD EBOOK

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.