|
Showing 1 - 5 of
5 matches in All Departments
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.
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 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.
|
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016)
Peter Thiemann
|
R1,722
Discovery Miles 17 220
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 25th European
Symposium on Programming, ESOP 2016, which took place in Eindhoven,
The Netherlands, in April 2016, held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2016. The 29
papers presented in this volume were carefully reviewed and
selected from 98 submissions. Being devoted to fundamental issues
in the specification, design, analysis, and implementation of
programming languages and systems, ESOP features contributions on
all aspects of programming language research; theoretical and/or
practical advances.
Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die
der Autor an der Eberhard-Karls-UniversWit Tiibingen unter dem
Titel "Einfiihrung in die funktionale Programmierung" gehalten hat.
Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die
Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum
Verstandnis des Buches sind die Kenntnis von Grundbe- griffen der
Informatik und Programmierung. Die Vorlesung, wie auch das Bueh,
besteht aus zwei Tellen. Der erste Tell um- faBt die Kapitell bis 8
und ist praktisch orientiert. Er gibt eine kurze Einfiihrung in die
rein-funktionale Programmiersprache Gofer mit grundlegenden
Program- mierteehniken und Methoden der Verifikation und
Transformation von Program- men gefolgt von einem kurzen Ausbliek
auf fortgesehrittene Techniken und wei- terfiihrende Konzepte.
Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden,
sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und
Konstruktorklassen erlauben die kontrollierte Uberladung von
benutzerde- finierten Funktionen. Monaden ermoglichen unter anderem
die Integration von in rein-funktionale Programmierspraehen.
Variablen im herkommlichen Sinn 1m zweiten Teil (Kap. 9 bis 15)
werden verschiedene Modelle fur Semantik und Ausfiihrung
funktionaler Programmiersprachen vorgestellt. Der Tell umfaBt eine
Einfiihrung in die Bereichstheorie, universelle Algebra,
operationelle und de- notationelle Semantik, und den
Lambda-Kalkiil. Ferner werden Typen und ihre Semantik, die
automatisehe Rekonstruktion von Typen, sowie Grundbegriffeder
abstrakten Interpretation und Striktheitsanalyse behandelt. Damit
verzahnt wer- den Implementierungstechniken fur funktionale
Programmiersprachen auf einer abstrakten Ebene diskutiert.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Southpaw
Jake Gyllenhaal, Forest Whitaker, …
DVD
R99
R24
Discovery Miles 240
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|