Skip to main content
SpringerLink
Log in
Book cover

Generic Programming

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

  • Conference proceedings
  • © 2000

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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

    1. Software Development in PVS Using Generic Development Steps

      • Axel Dold
      Pages 146-161

    2. Model Checking Generic Container Implementations

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

    3. Mizar Correctness Proofs of Generic Fraction Field Arithmetic

      • Christoph Schwarzweller
      Pages 178-191

    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

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation