{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:22:10Z","timestamp":1730269330565,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1303221","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"198-205","source":"Crossref","is-referenced-by-count":0,"title":["Generic programming and high-performance libraries"],"prefix":"10.1109","author":[{"given":"J.","family":"Jarvi","sequence":"first","affiliation":[]},{"given":"A.","family":"Lumsdaine","sequence":"additional","affiliation":[]},{"given":"D.P.","family":"Gregor","sequence":"additional","affiliation":[]},{"given":"M.","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"D.R.","family":"Musser","sequence":"additional","affiliation":[]},{"given":"S.","family":"Schupp","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663086"},{"journal-title":"The Programming Language Ada Reference Manual","year":"1983","key":"35"},{"key":"17","article-title":"An analysis of constrained polymorphism for generic programming","author":"ja?rvi","year":"2003","journal-title":"Multiparadigm Programming in Object-oriented Languages Workshop (MPOOL) at OOPSLA"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"journal-title":"AXIOM The Scientific Computation System","year":"1992","author":"jenks","key":"18"},{"key":"33","article-title":"Concepts - Design choices for template argument checking","author":"stroustrup","year":"2003","journal-title":"Technical Report N1522=03-0105"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47910-4_4"},{"key":"34","article-title":"Concepts - Syntax and composition","author":"stroustrup","year":"2003","journal-title":"Technical Report N1536=03-0119"},{"journal-title":"ANSI\/ISO Standard 14882 Programming Language C++","year":"1998","key":"16"},{"journal-title":"Static Analysis of Generic Component Composition","year":"0","author":"gregor","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35672-3_7"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80008-2"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949317"},{"key":"21","article-title":"Tecton: A framework for specifying and verifying generic system components","volume":"rpi 92 20","author":"kapur","year":"1992","journal-title":"Technical Report"},{"key":"20","article-title":"Type classes: An exploration of the design space","author":"jones","year":"1997","journal-title":"Proceedings of Workshop on Haskell"},{"key":"22","article-title":"Higher order imperative programming","volume":"88","author":"kershenbaum","year":"1988","journal-title":"Technical Report"},{"journal-title":"Concept Taxonomy for Distributed Algorithms","year":"0","author":"kulkarni","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.6.469"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/567806.567808"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359789"},{"journal-title":"Algorithm Concepts","year":"2003","author":"musser","key":"27"},{"journal-title":"Standard Template Library Programmer's Guide","year":"1997","key":"28"},{"journal-title":"Boost Concept Check Library","year":"2000","author":"siek","key":"29"},{"key":"3","article-title":"Half & half: Multiple dispatch and retroactive abstraction for Java","author":"baumgartner","year":"2002","journal-title":"Technical Report"},{"journal-title":"Generic Programming and the STL Professional Computing Series","year":"1999","author":"austern","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217852"},{"journal-title":"Denotational Proof Languages","year":"2000","author":"arkoudas","key":"1"},{"journal-title":"The Boost Graph Library User Guide and Reference Manual","year":"2002","author":"siek","key":"30"},{"journal-title":"The Cecil Language Specification and Rationale Version 3 1","year":"2002","author":"chambers","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"32","article-title":"Concepts - A more abstract complement to type checking","author":"stroustrup","year":"2003","journal-title":"Technical Report N1510=03-0093"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99392"},{"key":"31","article-title":"Concept checking: Binding parametric polymorphism in C++","author":"siek","year":"2000","journal-title":"Proceedings of the First Workshop on C++ Template Programming"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250803"},{"journal-title":"Constrained Quantification in Polymorphic Type Analysis","year":"1990","author":"curtis","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01303221.pdf?arnumber=1303221","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:41:08Z","timestamp":1489455668000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1303221\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1303221","relation":{},"subject":[]}}