FEEDBACK Smiley face
Normal view MARC view ISBD view

Generic Programming [electronic resource] :International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers /

Contributor(s): Jazayeri, Mehdi [editor.] | Loos, Rüdiger G. K [editor.] | Musser, David R [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 1766Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.Description: X, 272 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540399537.Subject(s): Computer science | Software engineering | Data structures (Computer science) | Algorithms | Computer logic | Computer science -- Mathematics | Computer Science | Logics and Meanings of Programs | Software Engineering/Programming and Operating Systems | Data Structures, Cryptology and Information Theory | Data Structures | Algorithm Analysis and Problem Complexity | Symbolic and Algebraic ManipulationOnline resources: Click here to access online
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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 for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in