Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2000.
|
| Series: | Lecture notes in computer science ;
1766. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Fundamentals of Generic Programming / James C. Dehnert and Alexander Stepanov
- Requirement Oriented Programming / David Musser, Sibylle Schupp and Rudiger Loos
- Generative Programming and Active Libraries / Krzysztof Czarnecki, Ulrich Eisenecker and Robert Gluck / [et al.]
- The Refinement Relation of Graph-Based Generic Programs / Karl Lieberherr and Boaz Patt-Shamir
- The Construction Principles of the Class Library Karla / Wolf Zimmermann, Arne Frick and Rainer Neumann
- Exception-Safety in Generic Components / David Abrahams
- Segmented Iterators and Hierarchical Algorithms / Matthew H. Austern
- Theory and Generality of Complete Traversals / David R. Musser and Arturo J. Sanchez-Ruiz
- A Data Abstraction Alternative to Data Structure/Algorithm Modularization / Murali Sitaraman, Bruce W. Weide and Timothy J. Long / [et al.]
- Two Ways to Bake Your Pizza
- Translating Parameterised Types into Java / Martin Odersky, Enno Runne and Philip Wadler
- SuchThat
- Generic Programming Works / Sibylle Schupp and Rudiger Loos
- Software Development in PVS Using Generic Development Steps / Axel Dold
- Model Checking Generic Container Implementations / Matthew B. Dwyer and Corina S. Pasareanu
- Mizar Correctness Proofs of Generic Fraction Field Arithmetic / Christoph Schwarzweller
- Language Independent Container Specification / Alexandre V. Zamulin
- Applications of the Generic Programming Paradigm in the Design of CGAL / Herve Bronnimann, Lutz Kettner and Stefan Schirra / [et al.]
- Generic Programming in POOMA and PETE / James A. Crotinger, Julian Cummings and Scott Haney / [et al.]
- The STL Model in the Geometric Domain / Ullrich Kothe and Karsten Weihe
- Generic Graph Algorithms / Dietmar Kuhl
- A Generic Programming Environment for High-Performance Mathematical Libraries / Wolfgang Schreiner, Werner Danielczyk-Landerl and Mircea Marin / [et al.].