Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Sele by Mehdi JazayeriGeneric Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Sele by Mehdi Jazayeri

Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April…

EditorMehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser

Paperback | September 20, 2000

Pricing and Purchase Info

$114.60 online 
$128.95 list price save 11%
Earn 573 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998.The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications.
Title:Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April…Format:PaperbackDimensions:279 pagesPublished:September 20, 2000Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540410902

ISBN - 13:9783540410904

Look for similar items by category:

Reviews

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.