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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1766)

Table of contents

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

    1. James C. Dehnert, Alexander Stepanov
      Pages 1-11
    2. David Musser, Sibylle Schupp, Rüdiger Loos
      Pages 12-24
    3. Krzysztof Czarnecki, Ulrich Eisenecker, Robert Glück, David Vandevoorde, Todd Veldhuizen
      Pages 25-39
    4. Karl Lieberherr, Boaz Patt-Shamir
      Pages 40-52
    5. Wolf Zimmermann, Arne Frick, Rainer Neumann
      Pages 53-68
  3. Programming Methodology

    1. David Abrahams
      Pages 69-79
    2. Matthew H. Austern
      Pages 80-90
    3. David R. Musser, Arturo J. Sánchez-Ruíz
      Pages 91-101
    4. Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
      Pages 102-113
  4. Language Design

    1. Martin Odersky, Enno Runne, Philip Wadler
      Pages 114-132
    2. Sibylle Schupp, Rüdiger Loos
      Pages 133-145
  5. Specification and Verification

    1. Matthew B. Dwyer, Corina S. PĂsĂreanu
      Pages 162-177
    2. Alexandre V. Zamulin
      Pages 192-205
  6. Applications

    1. Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco Veltkamp
      Pages 206-217
    2. James A. Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders et al.
      Pages 218-231
    3. Ullrich Köthe, Karsten Weihe
      Pages 232-248
    4. 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

  • DOI https://doi.org/10.1007/3-540-39953-4
  • 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