LEADER 04624nam 22007935 450 001 9910143638003321 005 20200702173330.0 010 $a3-540-39953-4 024 7 $a10.1007/3-540-39953-4 035 $a(CKB)1000000000211211 035 $a(SSID)ssj0000323453 035 $a(PQKBManifestationID)11285424 035 $a(PQKBTitleCode)TC0000323453 035 $a(PQKBWorkID)10299244 035 $a(PQKB)10205284 035 $a(DE-He213)978-3-540-39953-7 035 $a(MiAaPQ)EBC3071884 035 $a(PPN)155177435 035 $a(EXLCZ)991000000000211211 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGeneric Programming $eInternational Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers /$fedited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 272 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1766 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41090-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aFoundations 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1766 606 $aComputer logic 606 $aSoftware engineering 606 $aData structures (Computer science) 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aData structures (Computer science) 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aData Structures and Information Theory. 615 24$aData Structures. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aSymbolic and Algebraic Manipulation. 676 $a005 702 $aJazayeri$b Mehdi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLoos$b Rüdiger G.K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMusser$b David R$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Seminar on Generic Programming 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143638003321 996 $aGeneric programming$9953862 997 $aUNINA