123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286 |
- <html>
- <head>
- <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
- <title>Bibliography</title>
- <link rel="stylesheet" href="../../../../../doc/src/boostbook.css" type="text/css">
- <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
- <link rel="home" href="../index.html" title="Chapter 1. Boost.Contract 1.0.0">
- <link rel="up" href="../index.html" title="Chapter 1. Boost.Contract 1.0.0">
- <link rel="prev" href="release_notes.html" title="Release Notes">
- <link rel="next" href="acknowledgments.html" title="Acknowledgments">
- </head>
- <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
- <table cellpadding="2" width="100%"><tr>
- <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
- <td align="center"><a href="../../../../../index.html">Home</a></td>
- <td align="center"><a href="../../../../../libs/libraries.htm">Libraries</a></td>
- <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
- <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
- <td align="center"><a href="../../../../../more/index.htm">More</a></td>
- </tr></table>
- <hr>
- <div class="spirit-nav">
- <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>
- </div>
- <div class="section">
- <div class="titlepage"><div><div><h2 class="title" style="clear: both">
- <a name="boost_contract.bibliography"></a><a class="link" href="bibliography.html" title="Bibliography">Bibliography</a>
- </h2></div></div></div>
- <p>
- This section lists all references consulted while designing and developing
- this library.
- </p>
- <p>
- <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
- C++ blog: Preconditions</em></span></a>. 2013.
- </p>
- <p>
- <a name="Bright04_anchor"></a>[Bright04] W. Bright. <a href="https://dlang.org/spec/contracts.html" target="_top"><span class="emphasis"><em>Contract
- Programming for the D Programming Language</em></span></a>. 2004.
- </p>
- <p>
- <a name="Bright04b_anchor"></a>[Bright04b] W. Bright. <a href="http://www.digitalmars.com/ctg/contract.html" target="_top"><span class="emphasis"><em>Contract
- Programming for the Digital Mars C++ Compiler</em></span></a>. 2004.
- </p>
- <p>
- <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
- Contract Programming add-on for C++</em></span></a>. 2005.
- </p>
- <p>
- <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:
- Contract Programming for Object Pascal in .NET</em></span></a>. 2002.
- </p>
- <p>
- <a name="Clarke06_anchor"></a>[Clarke06] L. A. Clarke and D. S. Rosenblum.
- <a href="http://discovery.ucl.ac.uk/4991/1/4991.pdf" target="_top"><span class="emphasis"><em>A Historical
- Perspective on Runtime Assertion Checking in Software Development</em></span></a>.
- Newsletter ACM SIGSOFT Software Engineering Notes, 2006.
- </p>
- <p>
- <a name="Cline90_anchor"></a>[Cline90] M. Cline and D. Lea. <span class="emphasis"><em>The Behaviour
- 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
- Annotated C++</em></span></a>. Proc. of the Symposium on Object Oriented
- Programming Emphasizing Practical Applications, Maris College, 1990.
- </p>
- <p>
- <a name="Ellis90_anchor"></a>[Ellis90] M. A. Ellis and B. Stroustrup. <span class="emphasis"><em>The
- Annotated C++ Reference Manual</em></span>. ANSI Base Document, Addison Wesley,
- 1990.
- </p>
- <p>
- <a name="Gautron92_anchor"></a>[Gautron92] P. Gautron. <span class="emphasis"><em>An Assertion
- Mechanism Based on Exceptions</em></span>. Fourth C++ Technical Conference,
- 1992.
- </p>
- <p>
- <a name="Hoare73_anchor"></a>[Hoare73] C. A. R. Hoare. <span class="emphasis"><em>Hints on Programming
- Language Design</em></span>. Stanford University Artificial Intelligence memo
- AIM-224/STAN-CS-73-403, pages 193-216, 1973.
- </p>
- <p>
- <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
- Contracts: Design-By-Contract Programming for All .NET Programming Languages</em></span></a>.
- 2012.
- </p>
- <p>
- <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:
- Contract Programming for Java</em></span></a>. 2001.
- </p>
- <p>
- <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:
- Contract Programming for Java</em></span></a>.
- </p>
- <p>
- <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
- by Contract in C++</em></span></a>. 2004.
- </p>
- <p>
- <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
- Design by Contract in C++</em></span></a>. Proceedings of TOOLS, IEEE Computer
- Society, 1999.
- </p>
- <p>
- <a name="Meyer97_anchor"></a>[Meyer97] B. Meyer. <span class="emphasis"><em>Object Oriented
- Software Construction</em></span>. Prentice-Hall, 2nd edition, 1997.
- </p>
- <p>
- <a name="Mitchell02_anchor"></a>[Mitchell02] R. Mitchell and J. McKim. <span class="emphasis"><em>Design
- by Contract, by Example</em></span>. Addison-Wesley, 2002.
- </p>
- <p>
- <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
- to add Design by Contract to C++</em></span></a>. The C++ Standards Committee,
- N1613, 2004.
- </p>
- <p>
- <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
- draft changes for C99 preprocessor synchronization</em></span></a>. C++
- Standards Committee, N1653, 2004.
- </p>
- <p>
- <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
- to add Contract Programming to C++ (revision 1)</em></span></a>. The C++
- Standards Committee, N1669, 2004.
- </p>
- <p>
- <a name="N1773_anchor"></a>[N1773] D. Abrahams, L. Crowl, T. Ottosen, and J.
- Widman. <a href="http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1773.html" target="_top"><span class="emphasis"><em>Proposal
- to add Contract Programming to C++ (revision 2)</em></span></a>. The C++
- Standards Committee, N1773, 2005.
- </p>
- <p>
- <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
- to add Contract Programming to C++ (revision 3)</em></span></a>. The C++
- Standards Committee, N1866, 2005.
- </p>
- <p>
- <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
- Constructors (revision 2)</em></span></a>. C++ Standards Committee, N1895,
- 2005.
- </p>
- <p>
- <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
- to add Contract Programming to C++ (revision 4)</em></span></a>. The C++
- Standards Committee, N1962, 2006.
- </p>
- <p>
- <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
- (revision 1)</em></span></a>. The C++ Standards Committee, N2081, 2006.
- </p>
- <p>
- <a name="N2887_anchor"></a>[N2887] G. Dos Reis, B. Stroustrup, and A. Meredith.
- <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2887.pdf" target="_top"><span class="emphasis"><em>Axioms:
- Semantics Aspects of C++ Concepts</em></span></a>. The C++ Standards Committee,
- N2887, 2009.
- </p>
- <p>
- <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
- Draft, Standard for Programming Language C++</em></span></a>. The C++ Standards
- Committee, N2914, 2009.
- </p>
- <p>
- <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
- the sue of concepts</em></span></a>. The C++ Standards Committee, N2906,
- 2009.
- </p>
- <p>
- <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>
- Prevents Library Validation</em></span></a>. The C++ Standards Committee,
- N3248, 2011.
- </p>
- <p>
- <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
- <code class="literal">assert</code></em></span></a>. The C++ Standards Committee,
- N4154, 2014.
- </p>
- <p>
- <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
- constraints</em></span></a>. The C++ Standards Committee, N4160, 2014.
- </p>
- <p>
- <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
- Preconditions are a Language Feature</em></span></a>. The C++ Standards
- Committee, N4248, 2014.
- </p>
- <p>
- <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++
- language support for contract programming</em></span></a>. The C++ Standards
- Committee, N4293, 2014.
- </p>
- <p>
- <a name="N4378_anchor"></a>[N4378] J. Lakos, N. Myers, A. Zakharov, and A.
- Beels. <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4378.pdf" target="_top"><span class="emphasis"><em>Language
- Support for Contract Assertions (Revision 10)</em></span></a>. The C++ Standards
- Committee, N4378, 2015.
- </p>
- <p>
- <a name="Nana_anchor"></a>[Nana] P. J. Maker. <a href="https://github.com/pjmaker/nana" target="_top"><span class="emphasis"><em>GNU
- Nana</em></span></a>. 2014.
- </p>
- <p>
- <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
- about Contract Assertions</em></span></a>. The C++ Standards Committee,
- N4379, 2015.
- </p>
- <p>
- <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
- Contract Attributes</em></span></a>. The C++ Standards Committee, N4435,
- 2015.
- </p>
- <p>
- <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
- Use and Implementation of Contracts</em></span></a>. The C++ Standards Committee,
- P0147R0, 2015.
- </p>
- <p>
- <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
- interesting questions about contracts</em></span></a>. The C++ Standards
- Committee, P0166R0, 2015.
- </p>
- <p>
- <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
- for Contract Support Merged Proposal</em></span></a>. The C++ Standards
- Committee, P0246R0, 2016.
- </p>
- <p>
- <a name="P0287_anchor"></a>[P0287] G. Dos Reis, J.D. Garcia, F. Logozzo, M.
- 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
- Contracts for C++ (R1)</em></span></a>. The C++ Standards Committee, P0287R0,
- 2016.
- </p>
- <p>
- <a name="P0380_anchor"></a>[P0380] G. Dos Reis, J.D. Garcia, J. Lakos, A. Meredith,
- 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
- Contract Design</em></span></a>. The C++ Standards Committee, P0380R1, 2016.
- </p>
- <p>
- <a name="P0542_anchor"></a>[P0542] G. Dos Reis, J.D. Garcia, J. Lakos, A. Meredith,
- 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
- for contract based programming in C++</em></span></a>. The C++ Standards
- Committee, P0542R0, 2017.
- </p>
- <p>
- <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
- practical Approach to Programming With Assertions</em></span></a>. IEEE
- Transactions on Software Engineering, 1995.
- </p>
- <p>
- <a name="SPARKAda_anchor"></a>[SPARKAda] Praxis. <a href="http://www.praxis-his.com/sparkada/language.asp" target="_top"><span class="emphasis"><em>SPARKAda
- (Ada-like Language with Contract Programming)</em></span></a>.
- </p>
- <p>
- <a name="SpecSharp_anchor"></a>[SpecSharp] Microsoft. <a href="http://research.microsoft.com/en-us/projects/specsharp/" target="_top"><span class="emphasis"><em>Spec#
- (C# Extension)</em></span></a>.
- </p>
- <p>
- <a name="Stroustrup94_anchor"></a>[Stroustrup94] B. Stroustrup. <span class="emphasis"><em>The
- Design and Evolution of C++</em></span>. Addison Wesley, 1994.
- </p>
- <p>
- <a name="Stroustrup13_anchor"></a>[Stroustrup13] B. Stroustrup. <span class="emphasis"><em>The
- C++ Programming Language</em></span>. Addison Wesley, 4th Edition, 2013.
- </p>
- <p>
- <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
- by Contract macros for C++ and link to Doxygen</em></span></a>. 2004.
- </p>
- <p>
- <a name="Wilson06_anchor"></a>[Wilson06] M. Wilson. <a href="http://www.artima.com/cppsource/deepspace.html" target="_top"><span class="emphasis"><em>Contract
- Programming 101 - The Nuclear Reactor and the Deep Space Probe</em></span></a>.
- The C++ Source, 2006.
- </p>
- </div>
- <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
- <td align="left"></td>
- <td align="right"><div class="copyright-footer">Copyright © 2008-2019 Lorenzo Caminiti<p>
- Distributed under the Boost Software License, Version 1.0 (see accompanying
- 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>)
- </p>
- </div></td>
- </tr></table>
- <hr>
- <div class="spirit-nav">
- <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>
- </div>
- </body>
- </html>
|