%0 Conference Paper %1 Dehnert:1998:FGP:647373.724183 %A Dehnert, James C. %A Stepanov, Alexander A. %B Selected Papers from the International Seminar on Generic Programming %C London, UK, UK %D 2000 %I Springer-Verlag %K genericprogramming %P 1--11 %T Fundamentals of Generic Programming %U http://dl.acm.org/citation.cfm?id=647373.724183 %X Generic programming depends on the decomposition of programs into components which may be developed separately and combined arbitrarily, subject only to well-defined interfaces. Among the interfaces of interest, indeed the most pervasively and unconsciously used, are the fundamental operators common to all C++ built-in types, as extended to user-defined types; e.g., copy constructors, assignment, and equality. We investigate the relations which must hold among these operators to preserve consistency with their semantics for the built-in types and with the expectations of programmers. We can produce an axiomatization of these operators which yields the required consistency with built-in types, matches the intuitive expectations of programmers, and also reflects our underlying mathematical expectations. %@ 3-540-41090-2

@inproceedings{Dehnert:1998:FGP:647373.724183, abstract = {Generic programming depends on the decomposition of programs into components which may be developed separately and combined arbitrarily, subject only to well-defined interfaces. Among the interfaces of interest, indeed the most pervasively and unconsciously used, are the fundamental operators common to all C++ built-in types, as extended to user-defined types; e.g., copy constructors, assignment, and equality. We investigate the relations which must hold among these operators to preserve consistency with their semantics for the built-in types and with the expectations of programmers. We can produce an axiomatization of these operators which yields the required consistency with built-in types, matches the intuitive expectations of programmers, and also reflects our underlying mathematical expectations.}, acmid = {724183}, added-at = {2014-12-07T02:10:12.000+0100}, address = {London, UK, UK}, author = {Dehnert, James C. and Stepanov, Alexander A.}, biburl = {https://www.bibsonomy.org/bibtex/2f693fd1432a50a155417e76b4445ff80/wolftype}, booktitle = {Selected Papers from the International Seminar on Generic Programming}, description = {Fundamentals of Generic Programming}, interhash = {4bd272224c816d85774d690125a72488}, intrahash = {f693fd1432a50a155417e76b4445ff80}, isbn = {3-540-41090-2}, keywords = {genericprogramming}, numpages = {11}, pages = {1--11}, publisher = {Springer-Verlag}, timestamp = {2014-12-07T02:10:12.000+0100}, title = {Fundamentals of Generic Programming}, url = {http://dl.acm.org/citation.cfm?id=647373.724183}, year = 2000 }