Generic Programming

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

  • Mehdi Jazayeri
  • Rüdiger G. K. Loos
  • David R. Musser
Conference proceedings

DOI: 10.1007/3-540-39953-4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1766)

Table of contents (20 papers)

  1. Front Matter
    Pages I-X
  2. Foundations and Methodology Comparisons

    1. Fundamentals of Generic Programming
      James C. Dehnert, Alexander Stepanov
      Pages 1-11
    2. Requirement Oriented Programming
      David Musser, Sibylle Schupp, Rüdiger Loos
      Pages 12-24
    3. Generative Programming and Active Libraries
      Krzysztof Czarnecki, Ulrich Eisenecker, Robert Glück, David Vandevoorde, Todd Veldhuizen
      Pages 25-39
    4. The Refinement Relation of Graph-Based Generic Programs
      Karl Lieberherr, Boaz Patt-Shamir
      Pages 40-52
    5. The Construction Principles of the Class Library Karla
      Wolf Zimmermann, Arne Frick, Rainer Neumann
      Pages 53-68
  3. Programming Methodology

    1. Exception-Safety in Generic Components
      David Abrahams
      Pages 69-79
    2. Segmented Iterators and Hierarchical Algorithms
      Matthew H. Austern
      Pages 80-90
    3. Theory and Generality of Complete Traversals
      David R. Musser, Arturo J. Sánchez-Ruíz
      Pages 91-101
    4. A Data Abstraction Alternative to Data Structure/Algorithm Modularization
      Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
      Pages 102-113
  4. Language Design

    1. Two Ways to Bake Your Pizza — Translating Parameterised Types into Java
      Martin Odersky, Enno Runne, Philip Wadler
      Pages 114-132
    2. SuchThat — Generic Programming Works
      Sibylle Schupp, Rüdiger Loos
      Pages 133-145
  5. Specification and Verification

    1. Model Checking Generic Container Implementations
      Matthew B. Dwyer, Corina S. PĂsĂreanu
      Pages 162-177
    2. Language Independent Container Specification
      Alexandre V. Zamulin
      Pages 192-205
  6. Applications

    1. Applications of the Generic Programming Paradigm in the Design of CGAL
      Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco Veltkamp
      Pages 206-217
    2. Generic Programming in POOMA and PETE
      James A. Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders et al.
      Pages 218-231
    3. The STL Model in the Geometric Domain
      Ullrich Köthe, Karsten Weihe
      Pages 232-248
    4. Generic Graph Algorithms
      Dietmar Kühl
      Pages 249-255

About these proceedings

Keywords

Abstract Representations Generic Algorithms Generic Data Structures Generic Programming Java Model Checking Programming Methodology STL Software Components Software Construction algorithm algorithms data structure performance programming

Editors and affiliations

  • Mehdi Jazayeri
    • 1
  • Rüdiger G. K. Loos
    • 2
  • David R. Musser
    • 3
  1. 1.Information Systems Institute, Distributed Systems GroupTechnical University of ViennaViennaAustria
  2. 2.Wilhelm-Schickard-Institut für InformatikUniversität TübingenTübingenGermany
  3. 3.Computer Science DepartmentRensellaer Polytechnic InstituteTroyUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41090-4
  • Online ISBN 978-3-540-39953-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349