ISBN: 3-540-41090-2
TITLE: Generic Programming
AUTHOR: Jazayeri, Mehdi; Loos, Rdiger G.K.; Musser, David R. (Eds.)
TOC:

Foundations and Methodology Comparisons 
Fundamentals of Generic Programming 1 
James C. Dehnert, Alexander Stepanov (Silicon Graphics, Inc.) 
Requirement Oriented Programming 12 
David Musser, Sibylle Schupp (Rensselaer Polytechnic Institute), 
Rdiger Loos (University of Tbingen) 
Generative Programming and Active Libraries 25 
Krzysztof Czarnecki (DaimlerChrysler), Ulrich Eisenecker 
(Fachhochschule Heidelberg), Robert Glck (University of Copenhagen), 
David Vandevoorde (Edison Design Group), Todd Veldhuizen 
(University of Indiana) 
The Refinement Relation of Graph-Based Generic Programs 40 
Karl Lieberherr (Northeastern University), Boaz Patt-Shamir 
(Northeastern University and Tel Aviv University) 
The Construction Principles of the Class Library Karla 53 
Wolf Zimmermann (University of Karlsruhe), Arne Frick (Tom Sawyer 
Software), Rainer Neumann (University of Karlsruhe) 
Programming Methodology 
Exception-Safety in Generic Components 69 
David Abrahams (Dragon Systems) 
Segmented Iterators and Hierarchical Algorithms 80 
Matthew H. Austern (Silicon Graphics, Inc.) 
Theory and Generality of Complete Traversals 91 
David R. Musser (Rensselaer Polytechnic Institute), 
Arturo J. Snchez-Ruz (Central University of Venezuela) 
A Data Abstraction Alternative to Data Structure/Algorithm 
Modularization 102 
Murali Sitaraman (West Virginia University), Bruce W. Weide, 
Timothy J. Long, William F. Ogden (Ohio State University) 
Language Design 
Two Ways to Bake Your Pizza-Translating Parameterised Types into Java 114 
Martin Odersky (Ecole Polytechnique Fdral de Lausanne), Enno Runne 
(University of Karlsruhe), Philip Wadler (Lucent Technologies) 
SuchThat-Generic Programming Works 133 
Sibylle Schupp (Rensselaer Polytechnic Institute), 
Rdiger Loos (University of Tbingen) 
Specification and Verification 
Software Development in PVS Using Generic Development Steps 146 
Axel Dold (Universitt Ulm) 
Model Checking Generic Container Implementations 162 
Matthew B. Dwyer, Corina S. Pasrenu (Kansas State University) 
Mizar Correctness Proofs of Generic Fraction Field Arithmetic 178 
Christoph Schwarzweller (University of Tbingen) 
Language Independent Container Specification 192 
Alexandre V. Zamulin (Russian Academy of Sciences, Novosibirsk) 
Applications 
Applications of the Generic Programming Paradigm in the Design of CGAL 206 
Herv Brnnimann (INRIA Sophia-Antipolis), Lutz Kettner 
(ETH Zrich), Stefan Schirra (MPI Saarbrcken), 
Remco Veltkamp (Utrecht University) 
Generic Programming in POOMA and PETE 218 
James A. Crotinger, Julian Cummings, Scott Haney, William Humphrey, 
Steve Karmesin, John Reynders, Stephen Smith, Timothy J. Williams 
(Los Alamos National Laboratory) 
The STL Model in the Geometric Domain 232 
Ullrich Kthe (Fraunhofer Institute for Computer Graphics, Rostock), 
Karsten Weihe (University of Konstanz) 
Generic Graph Algorithms 249 
Dietmar Khl (Claas Solutions) 
A Generic Programming Environment 
for High-Performance Mathematical Libraries 256 
Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, 
Wolfgang Stcher (RISC-Linz) 
Author Index 269 
END
