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

Generic Programming International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jazayeri, Mehdi (Editor), Loos, Rüdiger G.K (Editor), Musser, David R. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:	1st ed. 2000.
Series:	Lecture Notes in Computer Science, 1766 Springer eBook Collection.
Subjects:	Computer logic. Software engineering. Data structures (Computer science). Algorithms. Computer science—Mathematics. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

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.