论文信息 - C++ Standard Template Library

C++ Standard Template Library

From the Publisher: Standard Template Libraries (STL) were created to provide C++ programmers with a suite of reusable programs, or lines of code, that could be used by everyone to increase programming productivity and quality. This book is the definitive reference on C++ programming using STL, as it was written by the team that created the library. Every C++ programmer will need at least one off-the-shelf STL reference guide. Each chapter covers one STL component, and includes background, a review of the standard, using the component, implementing the component, and exercises. For C++ Software Development Managers and C++ programmers at all levels.

[1] Alexander A. Stepanov,et al. Algorithm‐oriented generic libraries , 1994, Softw. Pract. Exp..

[2] Richard G. Hamlet,et al. Automatically Checking an Implementation against Its Formal Specification , 2000, IEEE Trans. Software Eng..

[3] Alexander A. Stepanov,et al. Generic Programming , 1988, ISSAC.

[4] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .

[5] Alexander A. Stepanov,et al. Tecton: A Language for Manipulating Generic Objects , 1981, Program Specification.

[6] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[7] Alexander A. Stepanov,et al. A library of generic algorithms in Ada , 1987, SIGAda '87.

[8] Bjarne Stroustrup,et al. The Annotated C++ Reference Manual , 1990 .

[9] Deepak Kapur,et al. An Overview of the Tecton Proof System , 1994, Theor. Comput. Sci..

[10] Bjarne Stroustrup,et al. The Design and Evolution of C , 1994 .

[11] Matthew H. Austern. Generic programming and the STL - using and extending the C++ standard template library , 1999, Addison-Wesley professional computing series.

[12] Alexander A. Stepanov,et al. Operators and algebraic structures , 1981, FPCA '81.