Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers

✍ Scribed by James C. Dehnert, Alexander Stepanov (auth.), Mehdi Jazayeri, Rüdiger G. K. Loos, David R. Musser (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Tongue: English
Leaves: 277
Series: Lecture Notes in Computer Science 1766
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998.
The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications.

✦ Table of Contents

Fundamentals of Generic Programming....Pages 1-11
Requirement Oriented Programming....Pages 12-24
Generative Programming and Active Libraries....Pages 25-39
The Refinement Relation of Graph-Based Generic Programs....Pages 40-52
The Construction Principles of the Class Library Karla ....Pages 53-68
Exception-Safety in Generic Components....Pages 69-79
Segmented Iterators and Hierarchical Algorithms....Pages 80-90
Theory and Generality of Complete Traversals....Pages 91-101
A Data Abstraction Alternative to Data Structure/Algorithm Modularization....Pages 102-113
Two Ways to Bake Your Pizza — Translating Parameterised Types into Java....Pages 114-132
SuchThat — Generic Programming Works....Pages 133-145
Software Development in PVS Using Generic Development Steps....Pages 146-161
Model Checking Generic Container Implementations....Pages 162-177
Mizar Correctness Proofs of Generic Fraction Field Arithmetic....Pages 178-191
Language Independent Container Specification....Pages 192-205
Applications of the Generic Programming Paradigm in the Design of CGAL....Pages 206-217
Generic Programming in POOMA and PETE....Pages 218-231
The STL Model in the Geometric Domain....Pages 232-248
Generic Graph Algorithms....Pages 249-255
A Generic Programming Environment for High-Performance Mathematical Libraries....Pages 256-267

✦ Subjects

Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Data Structures; Algorithm Analysis and Problem Complexity; Symbolic and Algebraic Manipulation

📜 SIMILAR VOLUMES

Generic Programming: International Semin

📁 Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers (Lecture Notes in Computer Science, 1766)

✍ Mehdi Jazayeri (editor), Rüdiger G.K. Loos (editor), David R. Musser (editor) 📂 Library 📅 2000 🏛 Springer 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998. The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new

Domain-Specific Program Generation: Inte

📁 Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers

✍ Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Oders 📂 Library 📅 2004 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and tim

Domain-Specific Program Generation: Inte

📁 Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers

✍ Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Oders 📂 Library 📅 2004 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Local Pattern Detection: International S

📁 Local Pattern Detection: International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers

✍ Francesco Bonchi, Fosca Giannotti (auth.), Katharina Morik, Jean-François Boulic 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti?c and commercial information. The need to analyze these masses of data has led to the evolution of the new ?eld knowledge discovery in databa

Virtual Realities: International Dagstuh

📁 Virtual Realities: International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers

✍ Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor Váša ( 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

Virtual reality (VR) is a multidisciplinary area of research aimed at interactive human–computer-mediated simulations of artificial environments. An important aspect of VR-based systems is the stimulation of the human senses – usually sight, sound, and touch – in such a way that a user feels a

Partial Evaluation: International Semina

📁 Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers

✍ Sandrine Blazy, Philippe Facon (auth.), Olivier Danvy, Robert Glück, Peter Thiem 📂 Library 📅 1996 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

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 Fe