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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Jazayeri, Mehdi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Loos, Rüdiger G.K (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Musser, David R. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:1st ed. 2000.
Σειρά:Lecture Notes in Computer Science, 1766
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.