+612 9045 4394
 
CHECKOUT
Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers - Mehdi Jazayeri

Generic Programming

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

By: Mehdi Jazayeri (Editor), R. G. K. Loos (Editor), David R. Musser (Editor)

Paperback

Published: 20th September 2000
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more
if ordered within

RensselaerPolytechnicInstitute AlexanderStepanov SGI Attendees DavidAbrahams MarkoftheUnicorn,Inc. GiuseppeAttardi UniversityofPisa MattAustern SGI UlrichBreymann HochschuleBremen StephenCerniglia RensselaerPolytechnicInstitute GeorgeCollins UniversityofDelaware JamesCrotinger LosAlamosNationalLab KrzysztofCzarnecki Daimler-Benz JamesDehnert SGI AngelDiaz IBMWatsonResearchCenter AxelDold UlmUniversity MatthewDwyer KansasStateUniversity UlrichEisenecker FachhochschuleHeidelberg HolgerGast Tubingen ¨ University RobertGluc ¨ k CopenhagenUniversity FriedrichvonHenke UniversityofUlm HoonHong NorthCarolinaStateUniversity MehdiJazayeri TechnicalUniversityofVienna JohannJeuring UtrechtUniversity NicolaiJosuttis Bredex ErichKaltofen NorthCarolinaState UllrichKothe ¨ RostockUniversity Organization VII UweKreppel Tubingen ¨ University WolfgangKuc ¨ hlin Tubingen ¨ University DietmarKuhl ¨ KonstanzUniversity GaryLeavens IowaStateUniversity KarlLieberherr NortheasternUniversity R¨ udigerLoos Tubingen ¨ University KurtMehlhorn MPI,Saarbruc ¨ kenUniversity DavidMusser RensselaerPolytechnicInstitute StefanN¨ aher HalleUniversity OscarNierstrasz BernUniversity MartinOdersky UniversityofSouthAustralia WilliamOgden OhioStateUniversity ArturoSanchez-Ruiz UniversityofCentralVenezuela StefanSchirra Saarbruc ¨ kenUniversity WolfgangSchreiner RISC-Linz SibylleSchupp RensselaerPolytechnicInstitute ChristophSchwarzweller Tubingen ¨ University MuraliSitaraman W. VirginiaUniversity GeorgTrausmuth TechnicalUniversityofVienna DavidVandevoorde Hewlett-Packard ToddVeldhuizen UniversityofWaterloo BruceWeide OhioStateUniversity KarstenWeihe KonstanzUniversity RolandWeiss Tubingen ¨ University ReinhardWilhelm Saarbruc ¨ kenUniversity AlexandreZamulin RussianAcademyofSciences,Novosibirsk WolfZimmermann KarlsruheUniversity TableofContents FoundationsandMethodologyComparisons FundamentalsofGenericProgramming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 JamesC. Dehnert,AlexanderStepanov(SiliconGraphics,Inc. ) RequirementOrientedProgramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 DavidMusser,SibylleSchupp(RensselaerPolytechnicInstitute), R¨udigerLoos(UniversityofTubingen) ¨ GenerativeProgrammingandActiveLibraries. . . . . . . . . . . . . . . . . . . . . . . . .

Foundations and Methodology Comparisons
Fundamentals of Generic Programmingp. 1
Requirement Oriented Programmingp. 12
Generative Programming and Active Librariesp. 25
The Refinement Relation of Graph-Based Generic Programsp. 40
The Construction Principles of the Class Library Karlap. 53
Programming Methodology
Exception-Safety in Generic Componentsp. 69
Segmented Iterators and Hierarchical Algorithmsp. 80
Theory and Generality of Complete Traversalsp. 91
A Data Abstraction Alternative to Data Structure/Algorithm Modularizationp. 102
Language Design
Two Ways to Bake Your Pizza-Translating Parameterised Types into Javap. 114
SuchThat-Generic Programming Worksp. 133
Specification and Verification
Software Development in PVS Using Generic Development Stepsp. 146
Model Checking Generic Container Implementationsp. 162
Mizar Correctness Proofs of Generic Fraction Field Arithmeticp. 178
Language Independent Container Specificationp. 192
Applications
Applications of the Generic Programming Paradigm in the Design of CGALp. 206
Generic Programming in POOMA and PETEp. 218
The STL Model in the Geometric Domainp. 232
Generic Graph Algorithmsp. 249
A Generic Programming Environment for High-Performance Mathematical Librariesp. 256
Author Indexp. 269
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540410904
ISBN-10: 3540410902
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 272
Published: 20th September 2000
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.52
Weight (kg): 0.4