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.

An Algebraic Approach to Compiler Design
An Algebraic Approach to Compiler Design

Author: Augusto Sampaio

Publisher: World Scientific

Published: 1997

Total Pages: 216

ISBN-13: 9789810223915

DOWNLOAD EBOOK

This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness.

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.

Perspectives of Systems Informatics
Perspectives of Systems Informatics

Author: Amir Pnueli

Publisher: Springer Science & Business Media

Published: 2010-02-08

Total Pages: 437

ISBN-13: 3642114857

DOWNLOAD EBOOK

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009. The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.

Perspectives of Systems Informatics
Perspectives of Systems Informatics

Author: Edmund Clarke

Publisher: Springer

Published: 2012-05-13

Total Pages: 423

ISBN-13: 3642297099

DOWNLOAD EBOOK

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.

Perspectives of System Informatics
Perspectives of System Informatics

Author: Andrei Voronkov

Publisher: Springer

Published: 2015-04-20

Total Pages: 429

ISBN-13: 3662468239

DOWNLOAD EBOOK

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

Functional Programming Languages and Computer Architecture
Functional Programming Languages and Computer Architecture

Author: John Hughes

Publisher: Springer Science & Business Media

Published: 1991-08-07

Total Pages: 684

ISBN-13: 9783540543961

DOWNLOAD EBOOK

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.