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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jazayeri, Mehdi (Editor, http://id.loc.gov/vocabulary/relators/edt), Loos, Rüdiger G.K (Editor, http://id.loc.gov/vocabulary/relators/edt), Musser, David R. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Edition: 1st ed. 2000.
• Series: Lecture Notes in Computer Science, 1766
• Subjects: Computer logic.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer science-Mathematics.; Logics and Meanings of Programs.; Software Engineering/Programming and Operating Systems.; Data Structures and Information Theory.; Data Structures.; Algorithm Analysis and Problem Complexity.; Symbolic and Algebraic Manipulation.

Table of Contents:

• Foundations and Methodology Comparisons
• Fundamentals of Generic Programming
• Requirement Oriented Programming
• Generative Programming and Active Libraries
• The Refinement Relation of Graph-Based Generic Programs
• The Construction Principles of the Class Library Karla
• Programming Methodology
• Exception-Safety in Generic Components
• Segmented Iterators and Hierarchical Algorithms
• Theory and Generality of Complete Traversals
• A Data Abstraction Alternative to Data Structure/Algorithm Modularization
• Language Design
• Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
• SuchThat - Generic Programming Works
• Specification and Verification
• Software Development in PVS Using Generic Development Steps
• Model Checking Generic Container Implementations
• Mizar Correctness Proofs of Generic Fraction Field Arithmetic
• Language Independent Container Specification
• Applications
• Applications of the Generic Programming Paradigm in the Design of CGAL
• Generic Programming in POOMA and PETE
• The STL Model in the Geometric Domain
• Generic Graph Algorithms
• A Generic Programming Environment for High-Performance Mathematical Libraries.