1 option
Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1766.
- Lecture Notes in Computer Science, 0302-9743 ; 1766
- Language:
- English
- Subjects (All):
- Computer logic.
- Software engineering.
- Data structures (Computer science).
- Algorithms.
- Computer science--Mathematics.
- Computer science.
- Logics and Meanings of Programs.
- Software Engineering/Programming and Operating Systems.
- Data Structures and Information Theory.
- Data Structures.
- Algorithm Analysis and Problem Complexity.
- Symbolic and Algebraic Manipulation.
- Local Subjects:
- Logics and Meanings of Programs.
- Software Engineering/Programming and Operating Systems.
- Data Structures and Information Theory.
- Data Structures.
- Algorithm Analysis and Problem Complexity.
- Symbolic and Algebraic Manipulation.
- Physical Description:
- 1 online resource (X, 272 pages).
- Edition:
- First edition 2000.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-39953-7
- 9783540399537
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.