Skip to main content
Book cover
  • Conference proceedings
  • © 2000

Generic Programming

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

Editors:

  1. Mehdi Jazayeri

    1. Information Systems Institute, Distributed Systems Group, Technical University of Vienna, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rüdiger G. K. Loos

    1. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Tübingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. David R. Musser

    1. Computer Science Department, Rensellaer Polytechnic Institute, Troy, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-39953-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (20 papers)

  1. Front Matter

    Pages I-X
    PDF

  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

    2. Model Checking Generic Container Implementations

      • Matthew B. Dwyer, Corina S. PĂsĂreanu
      Pages 162-177

    4. 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
Back to top

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
  • data structures
  • algorithm analysis and problem complexity
Back to top

Editors and Affiliations

  • Information Systems Institute, Distributed Systems Group, Technical University of Vienna, Vienna, Austria

    Mehdi Jazayeri

  • Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Tübingen, Germany

    Rüdiger G. K. Loos

  • Computer Science Department, Rensellaer Polytechnic Institute, Troy, USA

    David R. Musser

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-39953-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)
Learn about institutional subscriptions