287 lines
17 KiB
HTML
287 lines
17 KiB
HTML
<html>
|
||
<head>
|
||
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
||
<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>
|