Generic Programming International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.