Skip to main content
SpringerLink
Log in
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

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

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

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation