Peter Thiemann - Böcker
Visar alla böcker från författaren Peter Thiemann. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Partial Evaluation
International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Häftad, Engelska, 1996
552 kr
Skickas inom 10-15 vardagar
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.
Partial Evaluation: Practice and Theory
DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Häftad, Engelska, 1999
552 kr
Skickas inom 10-15 vardagar
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.
Functional and Logic Programming
11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Häftad, Engelska, 2012
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.
552 kr
Skickas inom 10-15 vardagar
This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selectedfrom 98 submissions. Being devoted to fundamental issues in the specification,design, analysis, and implementation of programming languages and systems, ESOPfeatures contributions on all aspects of programming language research;theoretical and/or practical advances.