![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Generic Programming 1998
- Mehdi Jazayeri, Rüdiger Loos, David R. Musser:
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers. Lecture Notes in Computer Science 1766, Springer 2000, ISBN 3-540-41090-2
Foundations and Methodology Comparisons
- James C. Dehnert, Alexander Stepanov:
Fundamentals of Generic Programming. 1-11 - David R. Musser, Sibylle Schupp, Rüdiger Loos:
Requirement Oriented Programming. 12-24 - Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen:
Generative Programming and Active Libraries. 25-39 - Karl J. Lieberherr, Boaz Patt-Shamir:
The Refinement Relation of Graph-Based Generic Programs. 40-52 - Wolf Zimmermann, Arne Frick, Rainer Neumann:
The Construction Principles of the Class Library KARLA. 53-68
Programming Methodology
- David Abrahams:
Exception-Safety in Generic Components. 69-79 - Matthew H. Austern:
Segmented Iterators and Hierarchical Algorithms. 80-90 - David R. Musser, Arturo J. Sánchez-Ruíz:
Theory and Generality of Complete Traversals. 91-101 - Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden:
A Data Abstraction Alternative to Data Structure/Algorithm Modularization. 102-113
Language Design
- Martin Odersky, Enno Runne, Philip Wadler:
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. 114-132 - Sibylle Schupp, Rüdiger Loos:
SUCHTHAT - Generic Programming Works. 133-145
Specification and Verification
- Axel Dold:
Software Development in PVS Using Generic Development Steps. 146-161 - Matthew B. Dwyer
, Corina S. Pasareanu:
Model Checking Generic Container Implementations. 162-177 - Christoph Schwarzweller
:
Mizar Correctness Proofs of Generic Fraction Field Arithmetic. 178-191 - Alexandre V. Zamulin:
Language Independent Container Specification. 192-205
Applications
- Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco C. Veltkamp:
Applications of the Generic Programming Paradigm in the Design of CGAL. 206-217 - James Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders, Stephen Smith, Timothy J. Williams:
Generic Programming in POOMA and PETE. 218-231 - Ullrich Köthe, Karsten Weihe:
The STL Model in the Geometric Domain. 232-248 - Dietmar Kühl:
Generic Graph Algorithms. 249-255 - Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher:
A Generic Programming Environment for High-Performance Mathematical Libraries. 256-268
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.