Generic Programming

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

284 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik Mathematik für Informatiker
• ISBN: 9783540410904
• Sprache: Englisch
• Erscheinungsdatum: 20.09.2000
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: David R. Musser, Rüdiger G. K. Loos, Mehdi Jazayeri