Dagstuhl Seminar Generic Programming 1998

@proceedings{DBLP:conf/dagstuhl/1998gp,
  editor    = {Mehdi Jazayeri and
               R{\"u}diger Loos and
               David R. Musser},
  title     = {Generic Programming, International Seminar on Generic Programming,
               Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  booktitle = {Generic Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1766},
  year      = {2000},
  isbn      = {3-540-41090-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Foundations and Methodology Comparisons

• James C. Dehnert, Alexander A. Stepanov:
  Fundamentals of Generic Programming. 1-11
  Electronic Edition (Springer LINK) BibTeX
• David R. Musser, Sibylle Schupp, Rüdiger Loos:
  Requirement Oriented Programming. 12-24
  Electronic Edition (Springer LINK) BibTeX
• Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen:
  Generative Programming and Active Libraries. 25-39
  Electronic Edition (Springer LINK) BibTeX
• Karl J. Lieberherr, Boaz Patt-Shamir:
  The Refinement Relation of Graph-Based Generic Programs. 40-52
  Electronic Edition (Springer LINK) BibTeX
• Wolf Zimmermann, Arne Frick, Rainer Neumann:
  The Construction Principles of the Class Library KARLA. 53-68
  Electronic Edition (Springer LINK) BibTeX

Programming Methodology

• David Abrahams:
  Exception-Safety in Generic Components. 69-79
  Electronic Edition (Springer LINK) BibTeX
• Matthew H. Austern:
  Segmented Iterators and Hierarchical Algorithms. 80-90
  Electronic Edition (Springer LINK) BibTeX
• David R. Musser, Arturo J. Sánchez-Ruíz:
  Theory and Generality of Complete Traversals. 91-101
  Electronic Edition (Springer LINK) BibTeX
• Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden:
  A Data Abstraction Alternative to Data Structure/Algorithm Modularization. 102-113
  Electronic Edition (Springer LINK) BibTeX

Language Design

• Martin Odersky, Enno Runne, Philip Wadler:
  Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. 114-132
  Electronic Edition (Springer LINK) BibTeX
• Sibylle Schupp, Rüdiger Loos:
  SUCHTHAT - Generic Programming Works. 133-145
  Electronic Edition (Springer LINK) BibTeX

Specification and Verification

• Axel Dold:
  Software Development in PVS Using Generic Development Steps. 146-161
  Electronic Edition (Springer LINK) BibTeX
• Matthew B. Dwyer, Corina S. Pasareanu:
  Model Checking Generic Container Implementations. 162-177
  Electronic Edition (Springer LINK) BibTeX
• Christoph Schwarzweller:
  Mizar Correctness Proofs of Generic Fraction Field Arithmetic. 178-191
  Electronic Edition (Springer LINK) BibTeX
• Alexandre V. Zamulin:
  Language Independent Container Specification. 192-205
  Electronic Edition (Springer LINK) BibTeX

Applications

• Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco C. Veltkamp:
  Applications of the Generic Programming Paradigm in the Design of CGAL. 206-217
  Electronic Edition (Springer LINK) BibTeX
• James Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders, Stephen Smith, Timothy J. Williams:
  Generic Programming in POOMA and PETE. 218-231
  Electronic Edition (Springer LINK) BibTeX
• Ullrich Köthe, Karsten Weihe:
  The STL Model in the Geometric Domain. 232-248
  Electronic Edition (Springer LINK) BibTeX
• Dietmar Kühl:
  Generic Graph Algorithms. 249-255
  Electronic Edition (Springer LINK) BibTeX
• Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher:
  A Generic Programming Environment for High-Performance Mathematical Libraries. 256-268
  Electronic Edition (Springer LINK) BibTeX