libs/contract/doc/html/boost_contract/bibliography.html

   1 <html>
   2 <head>
   3 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
   4 <title>Bibliography</title>
   5 <link rel="stylesheet" href="../../../../../doc/src/boostbook.css" type="text/css">
   6 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
   7 <link rel="home" href="../index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0.0">
   8 <link rel="up" href="../index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0.0">
   9 <link rel="prev" href="release_notes.html" title="Release Notes">
  10 <link rel="next" href="acknowledgments.html" title="Acknowledgments">
  11 </head>
  12 <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
  13 <table cellpadding="2" width="100%"><tr>
  14 <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
  15 <td align="center"><a href="../../../../../index.html">Home</a></td>
  16 <td align="center"><a href="../../../../../libs/libraries.htm">Libraries</a></td>
  17 <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18 <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19 <td align="center"><a href="../../../../../more/index.htm">More</a></td>
  20 </tr></table>
  21 <hr>
  22 <div class="spirit-nav">
  23 <a accesskey="p" href="release_notes.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="acknowledgments.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
  24 </div>
  25 <div class="section">
  26 <div class="titlepage"><div><div><h2 class="title" style="clear: both">
  27 <a name="boost_contract.bibliography"></a><a class="link" href="bibliography.html" title="Bibliography">Bibliography</a>
  28 </h2></div></div></div>
  29 <p>
  30       This section lists all references consulted while designing and developing
  31       this library.
  32     </p>
  33 <p>
  34       <a name="Andrzej13_anchor"></a>[Andrzej13] A. Krzemienski. <a href="https://akrzemi1.wordpress.com/2013/01/04/preconditions-part-i/" target="_top"><span class="emphasis"><em>Andrzej's
  35       C++ blog: Preconditions</em></span></a>. 2013.
  36     </p>
  37 <p>
  38       <a name="Bright04_anchor"></a>[Bright04] W. Bright. <a href="https://dlang.org/spec/contracts.html" target="_top"><span class="emphasis"><em>Contract
  39       Programming for the D Programming Language</em></span></a>. 2004.
  40     </p>
  41 <p>
  42       <a name="Bright04b_anchor"></a>[Bright04b] W. Bright. <a href="http://www.digitalmars.com/ctg/contract.html" target="_top"><span class="emphasis"><em>Contract
  43       Programming for the Digital Mars C++ Compiler</em></span></a>. 2004.
  44     </p>
  45 <p>
  46       <a name="C2_anchor"></a>[C2] Aechmea. <a href="http://www.programmersheaven.com/app/news/DisplayNews.aspx?NewsID=3843" target="_top"><span class="emphasis"><em>C^2
  47       Contract Programming add-on for C++</em></span></a>. 2005.
  48     </p>
  49 <p>
  50       <a name="Chrome_anchor"></a>[Chrome] RemObjects. <a href="http://blogs.remobjects.com/blogs/mh/2008/05/01/p216" target="_top"><span class="emphasis"><em>Chrome:
  51       Contract Programming for Object Pascal in .NET</em></span></a>. 2002.
  52     </p>
  53 <p>
  54       <a name="Clarke06_anchor"></a>[Clarke06] L. A. Clarke and D. S. Rosenblum.
  55       <a href="http://discovery.ucl.ac.uk/4991/1/4991.pdf" target="_top"><span class="emphasis"><em>A Historical
  56       Perspective on Runtime Assertion Checking in Software Development</em></span></a>.
  57       Newsletter ACM SIGSOFT Software Engineering Notes, 2006.
  58     </p>
  59 <p>
  60       <a name="Cline90_anchor"></a>[Cline90] M. Cline and D. Lea. <span class="emphasis"><em>The Behaviour
  61       of C++ Classes</em></span> and <a href="http://surface.syr.edu/cgi/viewcontent.cgi?article=1116&amp;context=eecs" target="_top"><span class="emphasis"><em>Using
  62       Annotated C++</em></span></a>. Proc. of the Symposium on Object Oriented
  63       Programming Emphasizing Practical Applications, Maris College, 1990.
  64     </p>
  65 <p>
  66       <a name="Ellis90_anchor"></a>[Ellis90] M. A. Ellis and B. Stroustrup. <span class="emphasis"><em>The
  67       Annotated C++ Reference Manual</em></span>. ANSI Base Document, Addison Wesley,
  68       1990.
  69     </p>
  70 <p>
  71       <a name="Gautron92_anchor"></a>[Gautron92] P. Gautron. <span class="emphasis"><em>An Assertion
  72       Mechanism Based on Exceptions</em></span>. Fourth C++ Technical Conference,
  73       1992.
  74     </p>
  75 <p>
  76       <a name="Hoare73_anchor"></a>[Hoare73] C. A. R. Hoare. <span class="emphasis"><em>Hints on Programming
  77       Language Design</em></span>. Stanford University Artificial Intelligence memo
  78       AIM-224/STAN-CS-73-403, pages 193-216, 1973.
  79     </p>
  80 <p>
  81       <a name="CodeContracts_anchor"></a>[CodeContracts] Microsoft Research. <a href="http://research.microsoft.com/en-us/projects/contracts/" target="_top"><span class="emphasis"><em>Code
  82       Contracts: Design-By-Contract Programming for All .NET Programming Languages</em></span></a>.
  83       2012.
  84     </p>
  85 <p>
  86       <a name="iContract_anchor"></a>[iContract] O. Enseling. <a href="http://www.javaworld.com/javaworld/jw-02-2001/jw-0216-cooltools.html" target="_top"><span class="emphasis"><em>iContract:
  87       Contract Programming for Java</em></span></a>. 2001.
  88     </p>
  89 <p>
  90       <a name="Jcontract_anchor"></a>[Jcontract] Parasoft. <a href="http://www.parasoft.com/jsp/products/article.jsp?label=product_info_Jcontract" target="_top"><span class="emphasis"><em>Jcontract:
  91       Contract Programming for Java</em></span></a>.
  92     </p>
  93 <p>
  94       <a name="Lindrud04_anchor"></a>[Lindrud04] J. Lindrud. <a href="http://www.codeproject.com/Articles/8293/Design-by-Contract-in-C" target="_top"><span class="emphasis"><em>Design
  95       by Contract in C++</em></span></a>. 2004.
  96     </p>
  97 <p>
  98       <a name="Maley99_anchor"></a>[Maley99] D. Maley and I. Spence. <a href="http://www.computer.org/portal/web/csdl/doi/10.1109/TOOLS.1999.779000" target="_top"><span class="emphasis"><em>Emulating
  99       Design by Contract in C++</em></span></a>. Proceedings of TOOLS, IEEE Computer
 100       Society, 1999.
 101     </p>
 102 <p>
 103       <a name="Meyer97_anchor"></a>[Meyer97] B. Meyer. <span class="emphasis"><em>Object Oriented
 104       Software Construction</em></span>. Prentice-Hall, 2nd edition, 1997.
 105     </p>
 106 <p>
 107       <a name="Mitchell02_anchor"></a>[Mitchell02] R. Mitchell and J. McKim. <span class="emphasis"><em>Design
 108       by Contract, by Example</em></span>. Addison-Wesley, 2002.
 109     </p>
 110 <p>
 111       <a name="N1613_anchor"></a>[N1613] T. Ottosen. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2004/n1613.pdf" target="_top"><span class="emphasis"><em>Proposal
 112       to add Design by Contract to C++</em></span></a>. The C++ Standards Committee,
 113       N1613, 2004.
 114     </p>
 115 <p>
 116       <a name="N1653_anchor"></a>[N1653] C. Nelson. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1653.htm" target="_top"><span class="emphasis"><em>Working
 117       draft changes for C99 preprocessor synchronization</em></span></a>. C++
 118       Standards Committee, N1653, 2004.
 119     </p>
 120 <p>
 121       <a name="N1669_anchor"></a>[N1669] T. Ottosen. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2004/n1669.html" target="_top"><span class="emphasis"><em>Proposal
 122       to add Contract Programming to C++ (revision 1)</em></span></a>. The C++
 123       Standards Committee, N1669, 2004.
 124     </p>
 125 <p>
 126       <a name="N1773_anchor"></a>[N1773] D. Abrahams, L. Crowl, T. Ottosen, and J.
 127       Widman. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1773.html" target="_top"><span class="emphasis"><em>Proposal
 128       to add Contract Programming to C++ (revision 2)</em></span></a>. The C++
 129       Standards Committee, N1773, 2005.
 130     </p>
 131 <p>
 132       <a name="N1866_anchor"></a>[N1866] L. Crowl and T. Ottosen. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1866.html" target="_top"><span class="emphasis"><em>Proposal
 133       to add Contract Programming to C++ (revision 3)</em></span></a>. The C++
 134       Standards Committee, N1866, 2005.
 135     </p>
 136 <p>
 137       <a name="N1895_anchor"></a>[N1895] H. Sutter and F. Glassborow. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1895.pdf" target="_top"><span class="emphasis"><em>Delegating
 138       Constructors (revision 2)</em></span></a>. C++ Standards Committee, N1895,
 139       2005.
 140     </p>
 141 <p>
 142       <a name="N1962_anchor"></a>[N1962] L. Crowl and T. Ottosen. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1962.html" target="_top"><span class="emphasis"><em>Proposal
 143       to add Contract Programming to C++ (revision 4)</em></span></a>. The C++
 144       Standards Committee, N1962, 2006.
 145     </p>
 146 <p>
 147       <a name="N2081_anchor"></a>[N2081] D. Gregor and B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2081.pdf" target="_top"><span class="emphasis"><em>Concepts
 148       (revision 1)</em></span></a>. The C++ Standards Committee, N2081, 2006.
 149     </p>
 150 <p>
 151       <a name="N2887_anchor"></a>[N2887] G. Dos Reis, B. Stroustrup, and A. Meredith.
 152       <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2887.pdf" target="_top"><span class="emphasis"><em>Axioms:
 153       Semantics Aspects of C++ Concepts</em></span></a>. The C++ Standards Committee,
 154       N2887, 2009.
 155     </p>
 156 <p>
 157       <a name="N2914_anchor"></a>[N2914] P. Becker. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2914.pdf" target="_top"><span class="emphasis"><em>Working
 158       Draft, Standard for Programming Language C++</em></span></a>. The C++ Standards
 159       Committee, N2914, 2009.
 160     </p>
 161 <p>
 162       <a name="N2906_anchor"></a>[N2906] B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2906.pdf" target="_top"><span class="emphasis"><em>Simplifying
 163       the sue of concepts</em></span></a>. The C++ Standards Committee, N2906,
 164       2009.
 165     </p>
 166 <p>
 167       <a name="N3248_anchor"></a>[N3248] J. Lakos. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3248.pdf" target="_top"><span class="emphasis"><em><code class="literal">noexcept</code>
 168       Prevents Library Validation</em></span></a>. The C++ Standards Committee,
 169       N3248, 2011.
 170     </p>
 171 <p>
 172       <a name="N4154_anchor"></a>[N4154] D. Krauss. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4154.pdf" target="_top"><span class="emphasis"><em>Operator
 173       <code class="literal">assert</code></em></span></a>. The C++ Standards Committee,
 174       N4154, 2014.
 175     </p>
 176 <p>
 177       <a name="N4160_anchor"></a>[N4160] A. Krzemienski. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4160.html" target="_top"><span class="emphasis"><em>Value
 178       constraints</em></span></a>. The C++ Standards Committee, N4160, 2014.
 179     </p>
 180 <p>
 181       <a name="N4248_anchor"></a>[N4248] A. Meredith. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4248.html" target="_top"><span class="emphasis"><em>Library
 182       Preconditions are a Language Feature</em></span></a>. The C++ Standards
 183       Committee, N4248, 2014.
 184     </p>
 185 <p>
 186       <a name="N4293_anchor"></a>[N4293] J. D. Garcia. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4293.pdf" target="_top"><span class="emphasis"><em>C++
 187       language support for contract programming</em></span></a>. The C++ Standards
 188       Committee, N4293, 2014.
 189     </p>
 190 <p>
 191       <a name="N4378_anchor"></a>[N4378] J. Lakos, N. Myers, A. Zakharov, and A.
 192       Beels. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4378.pdf" target="_top"><span class="emphasis"><em>Language
 193       Support for Contract Assertions (Revision 10)</em></span></a>. The C++ Standards
 194       Committee, N4378, 2015.
 195     </p>
 196 <p>
 197       <a name="Nana_anchor"></a>[Nana] P. J. Maker. <a href="https://github.com/pjmaker/nana" target="_top"><span class="emphasis"><em>GNU
 198       Nana</em></span></a>. 2014.
 199     </p>
 200 <p>
 201       <a name="N4379_anchor"></a>[N4378] J. Lakos and N. Myers. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4379.pdf" target="_top"><span class="emphasis"><em>FAQ
 202       about Contract Assertions</em></span></a>. The C++ Standards Committee,
 203       N4379, 2015.
 204     </p>
 205 <p>
 206       <a name="N4435_anchor"></a>[N4435] W. E. Brown. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4435.pdf" target="_top"><span class="emphasis"><em>Proposing
 207       Contract Attributes</em></span></a>. The C++ Standards Committee, N4435,
 208       2015.
 209     </p>
 210 <p>
 211       <a name="P0147_anchor"></a>[P0147] L. Crowl. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0147r0.html" target="_top"><span class="emphasis"><em>The
 212       Use and Implementation of Contracts</em></span></a>. The C++ Standards Committee,
 213       P0147R0, 2015.
 214     </p>
 215 <p>
 216       <a name="P0166_anchor"></a>[P0166] J. D. Garcia. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0166r0.pdf" target="_top"><span class="emphasis"><em>Three
 217       interesting questions about contracts</em></span></a>. The C++ Standards
 218       Committee, P0166R0, 2015.
 219     </p>
 220 <p>
 221       <a name="P0246_anchor"></a>[P0246] N. Myers. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0246r0.pdf" target="_top"><span class="emphasis"><em>Criteria
 222       for Contract Support Merged Proposal</em></span></a>. The C++ Standards
 223       Committee, P0246R0, 2016.
 224     </p>
 225 <p>
 226       <a name="P0287_anchor"></a>[P0287] G. Dos Reis, J.D. Garcia, F. Logozzo, M.
 227       Fahndrich, S. Lahiri. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0287r0.pdf" target="_top"><span class="emphasis"><em>Simple
 228       Contracts for C++ (R1)</em></span></a>. The C++ Standards Committee, P0287R0,
 229       2016.
 230     </p>
 231 <p>
 232       <a name="P0380_anchor"></a>[P0380] G. Dos Reis, J.D. Garcia, J. Lakos, A. Meredith,
 233       N. Myers, and B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0380r1.pdf" target="_top"><span class="emphasis"><em>A
 234       Contract Design</em></span></a>. The C++ Standards Committee, P0380R1, 2016.
 235     </p>
 236 <p>
 237       <a name="P0542_anchor"></a>[P0542] G. Dos Reis, J.D. Garcia, J. Lakos, A. Meredith,
 238       N. Myers, and B. Stroustrup. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0542r0.html" target="_top"><span class="emphasis"><em>Support
 239       for contract based programming in C++</em></span></a>. The C++ Standards
 240       Committee, P0542R0, 2017.
 241     </p>
 242 <p>
 243       <a name="Rosenblum95_anchor"></a>[Rosenblum95] D. S. Rosenblum. <a href="http://www.cs.toronto.edu/~chechik/courses06/csc410/rosenblum_assert95.pdf" target="_top"><span class="emphasis"><em>A
 244       practical Approach to Programming With Assertions</em></span></a>. IEEE
 245       Transactions on Software Engineering, 1995.
 246     </p>
 247 <p>
 248       <a name="SPARKAda_anchor"></a>[SPARKAda] Praxis. <a href="http://www.praxis-his.com/sparkada/language.asp" target="_top"><span class="emphasis"><em>SPARKAda
 249       (Ada-like Language with Contract Programming)</em></span></a>.
 250     </p>
 251 <p>
 252       <a name="SpecSharp_anchor"></a>[SpecSharp] Microsoft. <a href="http://research.microsoft.com/en-us/projects/specsharp/" target="_top"><span class="emphasis"><em>Spec#
 253       (C# Extension)</em></span></a>.
 254     </p>
 255 <p>
 256       <a name="Stroustrup94_anchor"></a>[Stroustrup94] B. Stroustrup. <span class="emphasis"><em>The
 257       Design and Evolution of C++</em></span>. Addison Wesley, 1994.
 258     </p>
 259 <p>
 260       <a name="Stroustrup13_anchor"></a>[Stroustrup13] B. Stroustrup. <span class="emphasis"><em>The
 261       C++ Programming Language</em></span>. Addison Wesley, 4th Edition, 2013.
 262     </p>
 263 <p>
 264       <a name="Tandin04_anchor"></a>[Tandin04] A. Tandin. <a href="http://www.codeproject.com/KB/macros/DbC_and_Doxygen.aspx" target="_top"><span class="emphasis"><em>Design
 265       by Contract macros for C++ and link to Doxygen</em></span></a>. 2004.
 266     </p>
 267 <p>
 268       <a name="Wilson06_anchor"></a>[Wilson06] M. Wilson. <a href="http://www.artima.com/cppsource/deepspace.html" target="_top"><span class="emphasis"><em>Contract
 269       Programming 101 - The Nuclear Reactor and the Deep Space Probe</em></span></a>.
 270       The C++ Source, 2006.
 271     </p>
 272 </div>
 273 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
 274 <td align="left"></td>
 275 <td align="right"><div class="copyright-footer">Copyright &#169; 2008-2019 Lorenzo Caminiti<p>
 276         Distributed under the Boost Software License, Version 1.0 (see accompanying
 277         file LICENSE_1_0.txt or a copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
 278       </p>
 279 </div></td>
 280 </tr></table>
 281 <hr>
 282 <div class="spirit-nav">
 283 <a accesskey="p" href="release_notes.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="acknowledgments.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
 284 </div>
 285 </body>
 286 </html>