04624nam 22007935 450 991014363800332120200702173330.03-540-39953-410.1007/3-540-39953-4(CKB)1000000000211211(SSID)ssj0000323453(PQKBManifestationID)11285424(PQKBTitleCode)TC0000323453(PQKBWorkID)10299244(PQKB)10205284(DE-He213)978-3-540-39953-7(MiAaPQ)EBC3071884(PPN)155177435(EXLCZ)99100000000021121120121227d2000 u| 0engurnn|008mamaatxtccrGeneric 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. Musser1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 272 p.) Lecture Notes in Computer Science,0302-9743 ;1766Bibliographic Level Mode of Issuance: Monograph3-540-41090-2 Includes bibliographical references at the end of each chapters and index.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.Lecture Notes in Computer Science,0302-9743 ;1766Computer logicSoftware engineeringData structures (Computer science)AlgorithmsComputer science—MathematicsLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Data Structures and Information Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/I15009Data Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I15017Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Computer logic.Software engineering.Data structures (Computer science)Algorithms.Computer science—Mathematics.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.005Jazayeri Mehdiedthttp://id.loc.gov/vocabulary/relators/edtLoos Rüdiger G.Kedthttp://id.loc.gov/vocabulary/relators/edtMusser David Redthttp://id.loc.gov/vocabulary/relators/edtInternational Seminar on Generic ProgrammingMiAaPQMiAaPQMiAaPQBOOK9910143638003321Generic programming953862UNINA