1<html> 2<head> 3<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 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 1. Boost.Contract 1.0.0"> 8<link rel="up" href="../index.html" title="Chapter 1. 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&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 © 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> 287
