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

Saved in:
Bibliographic Details
Corporate Author: International Seminar on Generic Programming :Dagstuhl Castle
Other Authors: Jazayeri, Mehdi, 1949- (Publishing director), Loos, Rüdiger (Publishing director), Musser, David R., 1944- (Publishing director)
Format: Livre numérique
Language:Anglais
Published: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Series:Lecture notes in computer science 1766
Subjects:
Génie logiciel
Informatique
Algorithmes
Ordinateurs
Structures de données (informatique)
Programmation générique
Microordinateurs > Programmation
Online Access:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Generic programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April-May 1998, selected papers, Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.), Berlin, Springer, 2000, 1 volume, Lecture notes in computer science, 3-540-41090-2
• Generic Programming, Texte imprimé, 9783662175743
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.

Similar Items