Generic Programming [electronic resource] : 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.
Material type: TextSeries: Lecture Notes in Computer Science ; 1766Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Description: X, 272 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540399537Subject(s): Computer science | Software engineering | Data structures (Computer science) | Computer software | Logic design | Algebra -- Data processing | Computer Science | Logics and Meanings of Programs | Software Engineering/Programming and Operating Systems | Data Structures | Algorithm Analysis and Problem Complexity | Symbolic and Algebraic ManipulationAdditional physical formats: Printed edition:: No titleDDC classification: 005.1015113 LOC classification: QA76.9.L63QA76.5913QA76.63Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4775 |
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.
There are no comments on this title.