MISRA-C diary(C言語日誌)

MISRA-C

IEEE C++ template generic 63 papers(1) 1-12

投稿日時 : 2018/12/28  小川 清 
IEEE C++ template generic 63 papers(1) 1-12
IEEE C++ template generic 63 papers(2) 13-25
IEEE C++ template generic 63 papers(3) 26-40
IEEE C++ template generic 63 papers(4) 41-55
IEEE C++ template generic 63 papers(5) 56-63

1)
Boost.SIMD:Genericprogramming for portable SIMDizationPierre Estérie;Mathias Gaunard;Joel Falcou;Jean-Thierry Lapresté;Brigitte Rozoy2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT)Year: 2012
Pages:431- 432IEEE Conferences

References:
Huayong Wang, Henrique Andrade, Buğra GedikB, Kun-Lung Wu
A Code Generation Approach for Auto-Vectorization in the Spade Compiler
June 2010

Generative Programming and Active Libraries
Jan 2000Lecture Notes in Computer Science
Krzysztof CzarneckiKrzysztof CzarneckiUlrich W. EiseneckerUlrich W. EiseneckerRobert GlückRobert Glück[...]Todd L. VeldhuizenTodd L. 

Introducing Control Flow into Vectorized Code
Oct 2007Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT
Jaewook ShinJaewook Shin

The Standard Template Library
Feb 1999
Alexander StepanovAlexander StepanovMeng LeeMeng Lee

2)
SimpleConcepts: Support for constraints ongenerictypes inC++Reed Milewicz;Marjan Mernik;Peter Pirkelbauer2013 Federated Conference on Computer Science and Information SystemsYear: 2013
Pages:1535- 1540Cited by:Patents (5)IEEE Conferences
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.680.870&rank=1

REFERENCES
[1] B. Stroustrup, The C++ programming language; 4th ed. Addison- Wesley, 2013.
[2] A. Stepanov and P. McJones, Elements of Programming. Addison- Wesley, 2009.
[3] M. Austern, Generic programming and the STL: using and extending the C++ Standard Template Library. Addison-Wesley, 1998.
[4] D. Gregor, B. Stroustrup, J. Järvi, and G. D. Reis, “Concepts: Linguistic support for generic programming in C++,” in SIGPLAN Notices. ACM Press, 2006, pp. 291–310.
[5] D. Kapur, D. R. Musser, and A. Stepanov, “Tecton: A framework for specifying and verifying generic system components,” 1983.
[6] A. Stevens, “Al Stevens interviews alex stepanov,” 1995.
[7] D. Musser, “Syntax of the tecton language,” 1998.
[8] B. Dawes, “Proposal for a C++ library repository web site,” 1998. [Online]. Available: http://www.boost.org/users/proposal.pdf
[9] J. Siek and A. Lumsdaine, “C++ concept checking: A better practice for C++ programming,” 2001.
[10] L. Voufo and A. Lumsdaine, “A uniform terminology for C++ con- cepts,” Indiana University Technical Report, Tech. Rep. TR 703, January 2013.
[11] D. Gregor and B. Stroustrup, “Proposed wording for concepts (revision 3),” no. N2421=07-0281, 10/2007 2007. [Online]. Available: http://www.open-std.org/JTC1/sc22/wg21/docs/papers/2007/n2421.pdf
[12] D. Kaley, “Bjarne stroustrup expounds on concepts and the future of C++,” 2009.
[13] A. van Deursen and P. Klint, “Domain-specific language design requires feature descriptions,” Journal of Computing and Information Technol- ogy, vol. 10, p. 2002, 2001.
[14] L. Moonen, “Generating robust parsers using island grammars,” in The 8th Working Conference on Reverse Engineering. IEEE Computer Society Press, 2001, pp. 13–22.
[15] D. Valentin and H. Magne, “Concepts as syntactic sugar,” in SCAM, 2009, pp. 147–156.
[16] J. Siek and W. Taha, “A semantic analysis of C++ templates,” 2006.
[17] B. Stroustrup, A. Sutton, L. Voufo, and M. Zalewski, “A concept design for the STL,” ISO/IEC JTC1/SC22/WG21—The C++ Standards Committee, Tech. Rep. N3351=12-0041, January 2012.
[18] A. Sutton and B. Stroustrup, “Concepts lite: Constraining templates with predicates,” 2013.
[19] ——, “Design of concept libraries for C++,” in Proceedings of the 4th international conference on Software Language Engineering, ser. SLE’11. Berlin, Heidelberg: Springer-Verlag, 2012, pp. 97–118.

3)
Extension of iterator traits in theC++ StandardTemplateLibraryNorbert Pataki;Zoltán Porkoláb2011 Federated Conference on Computer Science and Information Systems (FedCSIS)Year: 2011
Pages:911- 914IEEE Conferences

REFERENCES
[1] A. Alexandrescu, Modern C++ Design, Addison-Wesley, 2001.
[2] M. H. Austern, Generic Programming and the STL: Using and Extending
the C++ Standard Template Library, Addison-Wesley, 1998.
[3] T. Becker, STL & generic programming: writing your own iterators,
C/C++ Users Journal 2001 19(8), pp. 51–57.
[4] G. D´evai, N. Pataki, Towards verified usage of the C++ Standard
Template Library, In Proc. of the 10th Symposium on Programming
Languages and Software Tools (SPLST) 2007, pp. 360–371.
[5] G. D´evai, N. Pataki, A tool for formally specifying the C++ Standard
Template Library, In Annales Universitatis Scientiarum Budapestinensis
de Rolando E¨otv¨os Nominatae, Sectio Computatorica 31, pp. 147–166.
[6] D. Gregor, J. J¨arvi, J. Siek, B. Stroustrup, G. Dos Reis, A. Lumsdaine,
Concepts: linguistic support for generic programming in C++, in Proc.
of the 21st annual ACM SIGPLAN conference on Object-oriented
programming systems, languages, and applications (OOPSLA 2006), pp.
291–310.
[7] D. Gregor, S. Schupp, Stllint: lifting static checking from languages to
libraries, Software - Practice & Experience, 2006 36(3), pp. 225-254.
[8] J. J¨arvi, D. Gregor, J. Willcock, A. Lumsdaine, J. Siek, Algorithm
specialization in generic programming: challenges of constrained generics
in C++, in Proc. of the 2006 ACM SIGPLAN conference on
Programming language design and implementation (PLDI 2006), pp.
272–282.
[9] T. Kozsik, T., Tutorial on Subtype Marks, in Proc. of the Central
European Functional Programming School (CEFP 2006), LNCS 4164,
pp. 191–222.
[10] S. Meyers, Effective STL - 50 Specific Ways to Improve Your Use of the
Standard Template Library, Addison-Wesley, 2001.
[11] N. Pataki, Advanced Functor Framework for C++ Standard Template
Library Studia Universitatis Babes¸-Bolyai, Informatica, Vol. LVI(1), pp.
99–113.
[12] N. Pataki, Z. Porkol´ab, Z. Istenes, Towards Soundness Examination of
the C++ Standard Template Library, In Proc. of Electronic Computers
and Informatics, ECI 2006, pp. 186–191.
[13] N. Pataki, Z. Sz˝ugyi, G. D´evai, Measuring the Overhead of C++ Standard
Template Library Safe Variants, In Electronic Notes in Theoretical
Computer Science (ENTCS) 264(5), pp. 71–83.
[14] Z. Porkol´ab, ´A. Sipos, N. Pataki, Inconsistencies of Metrics in C++
Standard Template Library, In Proc. of 11th ECOOP Workshop
on Quantitative Approaches in Object-Oriented Software Engineering
QAOOSE Workshop, ECOOP 2007, Berlin, pp. 2–6.
[15] B. Stroustrup, The C++ Programming Language (Special Edition),
Addison-Wesley, 2000.
[16] M. Torgersen, The Expression Problem Revisited – Four New Solutions
Using Generics, in Proc. of European Conference on Object-Oriented
Programming (ECOOP) 2004, LNCS 3086, pp. 123–143.
[17] L. Zolman, An STL message decryptor for visual C++, In C/C++ Users
Journal, 2001 19(7), pp. 24–30.
[18] I. Z´olyomi, Z. Porkol´ab, Towards a General Template Introspection Library,
in Proc. of Generative Programming and Component Engineering:
Third International Conference (GPCE 2004), LNCS 3286, pp. 266–282.

4)
Abstracting thetemplateinstantiation relation inC++Andrew Sutton;Ryan Holeman;Jonathan I. Maletic2009 IEEE International Conference on Software MaintenanceYear: 2009
Pages:559- 562IEEE Conferences

7. References
[1] D. Gregor and S. Schupp, "STLlint: Lifting Static
Checking from Languages to Libraries," Software: Practice and
Experience, vol. 36, pp. 225-254, Mar 2005, 2005.
[2] M. Zalewski and S. Schupp, "Changing Iterators with
Confidence: A Case Study of Change Impact Analysis Applied
2 See http://www.sdml.info/projects/srctools for more information.
3 See http://www.sdml.info/projects/srcML for more information.
to Conceptual Specifications," in Workshop on Library-Centric
Software Design (LCSD'05), San Diego, CA, Oct 16, 2005, pp.
64-74.
[3] M. Zalewski and S. Schupp, "Change Impact Analysis for
Generic Libraries," in 22nd International Conference on
Software Maintenance (ICSM'06), Philadelphia, PA, Sep 24-27,
2006, pp. 35-44.
[4] A. Sutton and J. I. Maletic, "Automatically Identifying
C++0x Concepts in Function Templates," in 24th International
Conference on Software Maintenance (ICSM'04), Beijing,
China, Sep 28-Oct 4, 2008, pp. 57-66.
[5] G. Murphy and D. Notkin, "Lightweight Lexical Source
Model Extraction," ACM Transactions on Software
Engineering and Methodology, vol. 5, pp. 262-292, Jul 1996,
1996.
[6] Y.-F. Chen, M. Nishimoto, and C. V. Ramamoorthy, "The
C Information Abstraction System," IEEE Transactions on
Software Engineeering, vol. 16, pp. 325-334, Mar 1990, 1990.
[7] T. Dean, A. Malton, and R. Holt, "Union Schemas as a
Basis for a C++ Extractor," in 8th Working Conference on
Reverse Engineering (WCRE'01), Stuttgart, Germany, Oct 2-5,
2001, pp. 59-70.
[8] R. Ferenc, F. Magyar, Á. Beszédes, A. Kiss, and M.
Tarkiainen, "Columbus – Tool for Reverse Engineering Large
Object Oriented Software Systems," in 6th Symposiusm on
Programming Languages and Software Tools (SPLST'01),
Szeged, Hungary, Jun, 2002, pp. 16-27.
[9] R. Ferenc, I. Siket, and T. Gyimóthy, "Extracting Facts
from Open Source Software," in 20th International Conference
on Software Maintenance (ICSM'04), Chicago, Illinois, Sep 11
- 14, 2004, pp. 60-69.
[10] T. Gshwind, M. Pinzger, and H. Gall, "TUAnalyzer -
Analyzing Templates in C++ Code," in 11th Working
Conference on Reverse Engineering (WCRE'04), Delft, The
Netherlands, Nov 8-12, 2004, pp. 48-57.
[11] N. Kraft, B. Malloy, and J. Power, "A Tool Chain for
Reverse Engineering C++ Applications," Science of Computer
Programming, vol. 69, pp. 3-13, Dec 2007, 2007.
[12] Z. Porkoláb, J. Mihalicza, and Á. Sipos, "Debugging C++
Template Metaprograms," in 5th International Conference on
Generative Programming and Component Engineering
(GPCE'06), Portland, Oregon, Oct 22-26, 2006, pp. 255-264.
[13] J. I. Maletic, M. L. Collard, and A. Marcus, "Source Code
Files as Structured Documents," in 10th IEEE International
Workshop on Program Comprehension (IWPC'

5) RGFT/IEEERF
Dynamic verification of C++ generic algorithms Changqing Wang;D.R. MusserIEEE Transactions on Software EngineeringYear: 1997,Volume: 23,Issue:5
Pages:314- 323Cited by:Papers (6)IEEE Journals & Magazines

1. R.S. Boyer, B. Elspas, K.N. Levitt, "SELECTA Formal System for Testing and Debugging Programs by Symbolic Execution", Proc. Int'l Conf. Reliable Software, 1975-Apr.

2. D. Evans, J. Guttag, J. Horning, Y.M. Tan, "LCLint: A Tool for Using Specifications to Check Code", Proc. POPL Workshop Interface Definition Languages, 1994-Jan.

3. P. Fritzson, M. Auguston, N. Shahmehri, "Using Assertions in Declarative and Operational Models for Automated Debugging", J. Systems and Software , vol. 6, no. 3, 1994.

4. N.E. Fuchs, "Specifications Are (Preferably) Executable", Software Eng. J., Sept. 1992.

5. J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J-P Jouannaud, Introducing OBJ., 1992.

6. D. Gries, The Science of Programming., 1981.

7. J.V. Guttag, J.J. Horning, Larch: Languages and Tools for Formal Specification., 1993.

8. C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", Comm. ACM , vol. 12, no. 10, pp. 576-583, Oct. 1969.

9. D. Kapur, D.R. Musser, "Tecton: A Framework for Specifying and Verifying Generic System Components", July, 1992.

10. D. Kapur, D.R. Musser, A.A. Stepanov, "Tecton A Language for Manipulating Generic Objects", Proc. Workshop Program Specification, 1981-Aug.

11. D. Kapur, D.R. Musser, X. Nie, "An Overview of the Tecton Proof System", Theoretical Computer Science, vol. 133, pp. 307-339, 1994.

12. J.C. King, A Program Verifier, 1969.
Google Scholar 
13. J.C. King, "A New Approach to Program Testing", Proc. Int'l Conf. Reliable Software, 1975-Apr.

14. R.L. London, D.R. Musser, "The Application of a Symbolic Mathematical System to Program Verification", Proc. ACM Ann. Conf., 1974-Nov.

15. D. Luckham, S. Sankar, S. Takahashi, "Two-Dimensional Pinpointing: Debugging with Formal Specifications", IEEE Software, Jan. 1991.

16. Luqi, H. Yang, X. Zhang, "Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software", Proc. Eighth Ann. Int'l Computer Software and Applications Conf., 1994.

17. J.H. Morris, B. Wegbreit, "Program Verification by Subgoal Induction", Current Trends in Programming Methodology, vol. 2, 1977.

18. D.R. Musser, A.A. Stepanov, The Ada Generic Library: Linear List Processing Packages., 1989.

19. D.R. Musser, Changqing Wang, "A Basis for Formal Specification and Verification of Generic Algorithms in the C++ Standard Template Library", Jan. 1995.

20. W. Polak, "Program Verification Based on Denotational Semantics", Proc. Eighth Ann. ACM Symp. Principles of Programming Languages, 1981.

21. D.J. Richardson, "TAOS: Testing with Analysis and Oracle Support", Proc. Int'l Symp. Software Testing and Analysis, 1994-Aug.

22. D.S. Rosenblum, "A Practical Approach to Programming with Assertions", IEEE Trans. Software Eng., vol. 21, no. 1, Jan. 1995.

23. N. Shankar, S. Owre, J.M. Rushby, The PVS Specification Language, Menlo Park, Calif.,, Mar. 1993.

24. N. Shankar, S. Owre, J.M. Rushby, The PVS Proof Checker: A Reference Manual, Menlo Park, Calif,, Mar. 1993.

25. S. Sankar, R. Hayes, "Specifying and Testing Software Components Using ADL", Apr. 1994.

26. R.M. Stallman, R.H. Pesch, Debugging with GDB, 1993.

27. A. Stepanov, M. Lee, "The Standard Template Library", Sept. 1994.

28. C. Wang, Integrating Tools and Methods For Rigorous Analysis of C++ Generic Library Components, July, 1996.

29. C. Wang, D.R. Musser, "Dynamic Verification of C++ Generic Components: A Practical Method and Its Support System", Proc. The First Workshop on Formal Methods in Software Practice, 1996-Jan.

30. J.M. Wing, "A Specifier's Introduction to Formal Methods", Computer, vol. 23, no. 9, pp. 8-24, Sept. 1990.

31. J.M. Wing, A Two-Tiered Approach to Specifying Programs, May 1983.
---- RGRF
An Axiomatic Basis of Computer Programming
Jan 1969
C.A.R. HoareC.A.R. Hoare

A new approach to program testing
Jun 1975
J.C. KingJ.C. King

The Science of Programming
Jan 1981
David GriesDavid Gries

Using Assertions in Declarative and Operational Models for Automated Debugging
Dec 1992
Peter FritzsonPeter FritzsonMike AugustonMike AugustonNahid ShahmehriNahid Shahmehri

The Ada generic library. Linear list processing packages
Jan 1989
David MusserDavid MusserAlexander A. StepanovAlexander A. Stepanov

The PVS Specification Language
Sam OwreSam OwreNatarajan ShankarNatarajan ShankarJ. RushbyJ. Rushby

Larch: Languages and Tools for Formal Specification
Jan 1993
John V. GuttagJohn V. GuttagJ. HomingJ. HomingStephen J GarlandStephen J Garland[...]A. ModetA. Modet

The pvs proof checker: a reference manual (beta release)
Jan 1993
Natarajan ShankarNatarajan ShankarSam OwreSam OwreJ. M. RushbyJ. M. Rushby

In applications of algebraic specification using obj
J. A. GoguenJ. A. GoguenT. WinkerT. WinkerJose MeseguerJose Meseguer[...]Jean-Pierre JouannaudJean-Pierre Jouannaud

Program verification based on denotation semantics
Jan 1981
Wolfgang PolakWolfgang Polak

SELECT—A formal system for testing and debugging programs by symbolic execution
Jun 1975ACM SIGPLAN Notices
Robert S. BoyerRobert S. BoyerBernard ElspasBernard ElspasKarl LevittKarl Levitt

The application of a symbolic mathematical system to program verification
Jan 1974
Ralph L. LondonRalph L. LondonDavid MusserDavid Musser

Specifying and Testing Software Components using ADL
Roger HayesRoger HayesSriram SankarSriram Sankar

A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
Jeannette M. WingJeannette M. Wing

Larch: Languages and Tools for Formal Specification
Jan 1993
John V GuttagJohn V GuttagJames J HorningJames J Horning

An Overview of the Tecton Proof System.
Oct 1994Theoretical Computer Science
Deepak KapurDeepak KapurXw NieXw NieDavid MusserDavid Musser

Tecton: A Language for Manipulating Generic Objects.
Jan 1981
Deepak KapurDeepak KapurDavid MusserDavid MusserAlexander A. StepanovAlexander A. Stepanov

A New Approach to Program Testing.
Sep 1974ACM SIGPLAN Notices
James C. KingJames C. King

The Science of Programming
Jan 1981
David GriesDavid Gries

An Axiomatic Basis for Computer Programming (Reprint).
Jan 1983Communications of the ACM
C. A. R. HoareC. A. R. Hoare

Using assertions in declarative and operational models for automated debugging
Jun 1994Journal of Systems and Software
Peter FritzsonPeter FritzsonMike AugustonMike AugustonNahid ShahmehriNahid Shahmehri

A Program Verifier
Jan 1971
James Cornelius. KingJames Cornelius. King
Thesis--Carnegie-Mellon University. Photocopy of typescript. Bibliography: p. 167-169.

Constructing an automated testing oracle: an effort to produce reliable software
Conference Paper
Dec 1994
LuqiLuqiHongji YangHongji YangXiaodong YangXiaodong Yang

Specifications are (preferably) executable
Oct 1992Software Engineering Journal
Norbert E. FuchsNorbert E. Fuchs


Two-Dimensional Pinpointing: Debugging with Formal Specifications
Feb 1991IEEE Software
David C. LuckhamDavid C. LuckhamSriram SankarSriram SankarS. TakahashiS. Takahashi


Practical approach to programming with assertions
Feb 1995IEEE Transactions on Software Engineering
David S. RosenblumDavid S. Rosenblum


A Specifier's Introduction to Formal methods
Oct 1990Computer
Jeannette M. WingJeannette M. Wing


The Standard Template Library
Feb 1999
Alexander StepanovAlexander StepanovMeng LeeMeng Lee


A Basis for Formal Specification and Verification of Generic Algorithms in the C++ Standard Template Library
Oct 1995
David MusserDavid MusserChangqing WangChangqing Wang

Tecton: A Framework for Specifying and Verifying Generic System Components
Feb 1993
Deepak KapurDeepak KapurDavid MusserDavid Musser

Specifications Are (Preferably) Executable
Feb 1999Software Engineering Journal
Norbert E. FuchsNorbert E. Fuchs

J.H. Morris and B. Wegbreit, " Program Verification by Subgoal Induction, " Current Trends in Programming Methodology, R.T. Yeh, ed., vol. 2, ch. 8. Prentice Hall, 1977.
C. Wang and D.R. Musser, " Dynamic Verification of C++ Generic Components: A Practical Method and Its Support System, " Proc. The First Workshop on Formal Methods in Software Practice, San Di-ego, Calif., Jan. 1996.
C. Wang, " Integrating Tools and Methods For Rigorous Analysis of C++ Generic Library Components, " PhD thesis, Dept of Com-puter Science, Rensselaer Polytechnic Institute, July, 1996.
R.M. Stallman and R.H. Pesch, " Debugging with GDB, " GDB User's Manual, Free Software Foundation, Inc., 1993.
Musser Hewlett-Packard Laboratories reference implementation of the Standard Template Library, source files available via anonymous ftp from butler.hpl.hp

6)
A classtemplatefor the best binary sort treeCen Gang;Zhou Bingsheng2010 5th International Conference on Computer Science & EducationYear: 2010
Pages:524- 527IEEE Conferences

Object-Oriented Programming in C++
Jan 1995
Robert LaforeRobert Lafore

Data Structure (the second edition) Beijing

The Best Binary Sort Tree and the Implementation of Operations on It

Fundament for Object-Oriented Programming

Strict Balanced Binary Sort Tree and Its Construction

7)
Compile time recursive objects inC++

J. Jarvi

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)Year: 1998
Pages:66- 77Cited by:Patents (2)IEEE Conferences

A new and useful template technique: "Traits"
Jan 1995
Myers NCMyers NC

Using c++ template metaprograms
May 1995
Todd VeldhuizenTodd Veldhuizen

Processing Sparse Vectors during Compile Time in C++
Dec 1997
Jaakko JärviJaakko Järvi

Expression Templates
Nov 1998
Todd VeldhuizenTodd Veldhuizen

Binary Constants using Template Metaprogramming

Linear algebra with C++ template metaprograms

Compile Time Sparse Vectors in C++, Turku Centre for Computer Science

8)
Redesign of agenericVHDL modeltemplatefor SRAMsC. McCloskey;R. Reese;V. SandersProceedings VHDL International Users' Forum. Fall ConferenceYear: 1997
Pages:122- 125Cited by:Papers (1)IEEE Conferences

1. IEEE Standard VHDL Language Reference Manual, pp. 53-208, 1994.

9)
TestingC++genericlibrariesAndrew Sutton;Marcin Zalewski2012 28th IEEE International Conference on Software Maintenance (ICSM)Year: 2012
Pages:36- 45IEEE Conferences

QuickCheck
Sep 2000ACM SIGPLAN Notices
Koen ClaessenKoen ClaessenJohn HughesJohn Hughes

The axioms strike back
Jan 2009ACM SIGPLAN Notices
Anya Helene BaggeAnya Helene BaggeValentin DavidValentin DavidMagne HaveraaenMagne Haveraaen


Design of Concept Libraries for C++
Jul 2011
Andrew SuttonAndrew SuttonBjarne StroustrupBjarne Stroustrup


ConceptClang: An implementation of C++ concepts in Clang
Sep 2011
Larisse VoufoLarisse VoufoMarcin ZalewskiMarcin ZalewskiAndrew LumsdaineAndrew Lumsdaine

Structured testing in Sophus
Jan 2005
Magne HaveraaenMagne HaveraaenEnida BrkicEnida Brkic

QuickSpec: Guessing Formal Specifications Using Testing
Jun 2010
Koen ClaessenKoen ClaessenNicholas SmallboneNicholas SmallboneJohn HughesJohn Hughes

Axiom-Based Transformations: Optimisation and Testing
Oct 2009Electronic Notes in Theoretical Computer Science
Anya Helene BaggeAnya Helene BaggeMagne HaveraaenMagne Haveraaen

The Boost Graph Library: User Guide and Reference Manual
Chapter
Jan 2002
Jeremy SiekJeremy SiekLie-Quan LeeLie-Quan LeeAndrew LumsdaineAndrew Lumsdaine

Testing Polymorphic Properties
Mar 2010
Jean-Philippe BernardyJean-Philippe BernardyPatrik JanssonPatrik JanssonKoen ClaessenKoen Claessen

Automated Testing of Generic Computational Science Libraries
Jan 2007
Kirk SayreKirk SayreJesse H. PooreJesse H. Poore

The axioms strike back: Testing with concepts and axioms in C++
Jan 2009ACM SIGPLAN Notices
Anya Helene BaggeAnya Helene BaggeValentin DavidValentin DavidMagne HaveraaenMagne Haveraaen

Specifying C++ concepts
Jan 2006ACM SIGPLAN Notices
Gabriel Dos ReisGabriel Dos ReisBjarne StroustrupBjarne Stroustrup

A Markov Chain Model for Statistical Software Testing.
Nov 1994IEEE Transactions on Software Engineering
James A. WhittakerJames A. WhittakerM.G. ThomasonM.G. Thomason

Concepts: Linguistic Support for Generic Programming in C++
Oct 2006ACM SIGPLAN Notices
Douglas GregorDouglas GregorJaakko JärviJaakko JärviJeremy SiekJeremy Siek[...]Andrew LumsdaineAndrew Lumsdaine

The Boost Graph Library: User Guide and Reference Manual
Jan 2002
Jeremy SiekJeremy SiekLie-Quan LeeLie-Quan LeeAndrew LumsdaineAndrew Lumsdaine

Elements of Programming
Jun 2009
Alexander StepanovAlexander StepanovPaul R. McJonesPaul R. McJones

The Standard Template Library
Feb 1999
Alexander StepanovAlexander StepanovMeng LeeMeng Lee

Generic Programming
Nov 1994
David MusserDavid MusserAlexander A. StepanovAlexander A. Stepanov

Theorems for Free!
Dec 1995
Philip WadlerPhilip Wadler

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Jan 2000ACM SIGPLAN Notices
Koen ClaessenKoen ClaessenJohn HughesJohn Hughes

Concept Checking: Binding Parametric Polymorphism in C++
Oct 2000
Jeremy SiekJeremy SiekAndrew LumsdaineAndrew Lumsdaine

Palo Alto Group, " A Concept Design for the STL, " ISO/IEC JTC1/SC22/WG21—The C ++ Standards Committee, Tech. Rep. N3351=12-0041, Jan. 2011. [Online]. Available: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3351.pdf
J. Siek, A. Lumsdaine, and D. Abrahams. (2012, Apr.) The Boost Concept Check Library (BCCL). [Online]. Available: http://www.boost. org/doc/libs/1 49 0/libs/concept check/concept check.htm
M. Jazayeri, R. Loos, D. Musser, and A. Stepanov, " Report of the Dagstuhl Seminar on Generic Programming, " Schloss Dagstuhl, Tech. Rep. 208, Jul. 1998. [Online]. Available: http://www.dagstuhl.de/ Reports/98/98171.pdf
C ++ Standards Committee, " Int. Standard: Information technology — Programming languages — C ++, " ISO/IEC, Tech. Rep. 14882:2011, Apr. 2011.
M. Haveraaen, V. Madsen, and H. Munthe-Kaas, " Algebraic program-ming technology for partial differential equations, " in Proceedings of Norsk Informatikk Konferanse (NIK), 1992.
A. Sutton. (2012, Mar.) Origin C ++ libraries. [Online]. Available: http://code.google.com/p/origin/

10)
OptimizingC++ vector expressions

J.F. Blinn

IEEE Computer Graphics and ApplicationsYear: 2000,Volume: 20,Issue:4
Pages:97- 103IEEE Journals & Magazines

No reference on the R.G.

11)
GenericParallel Programming for Massive Remote Sensing Data ProcessingYan Ma;Lizhe Wang;Dingsheng Liu;Peng Liu;Jun Wang;Jie Tao2012 IEEE International Conference on Cluster ComputingYear: 2012
Pages:420- 428Cited by:Papers (9)IEEE Conferences

1. Liu, Y., B. Chen, et al. (2011). Applying GPU and POSIX thread technologies in massive remote sensing image data processing, IEEE.

2. Jingshan Li, Dingsheng Liu: Design and Implementation of a Scalable General High Performance Remote Sensing Satellite Ground Processing System on Performance and Function. ICCS (2) 2009: 367-374

3. OpenMP Application Program Interface, http://www.openmp.org/.

4. Kee, Y.S., "OpenMP extension to SMP clusters", IEEE Potentials, vol. 25, no. 3, pp. 37-42, July-Aug. 2006.

5. MPI: A Message-Passing Interface Standard Version 3.0., http://www.mpi-forum.org, November 12, 2010.

6. Rabenseifner, R., G. Hager, et al. (2009). Hybrid MPI/OpenMP parallel programming on clusters of multi-core SMP nodes, IEEE.

7. Cole, M. (2004). "Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming." Parallel computing 30(3):389-406.

8. Aldinucci, M., M. Danelutto, et al. (2003). "An advanced environment supporting structured parallel programming in Java." Future Generation Computer Systems 19(5): 611-626.

9. Müller-Funk, U., U. Thonemann, et al. (2009). The Münster Skeleton Library Muesli - A Comprehensive Overview, ERCIS Working Paper.

10. Dean, J. and S. Ghemawat (2008). "MapReduce: Simplified data processing on large clusters." Communications of the ACM 51(1): 107-113.

11. Stepanov, A., Lee, M.: The Standard Template Library. Technical Report HPL-95-11, Hewlett-Packard Laboratories (1995)

12. Falcou, J., J. Sérot, et al. (2006). "Quaff: efficient c++ design for parallel skeletons." Parallel computing 32(7): 604-615.

13. Yan Ma, Lingjun Zhao, Dingsheng Liu: An Asynchronous Parallelized and Scalable Image Resampling Algodthm with Parallel I/O. ICCS (2) 2009: 357-366

14. Yanying Wang, Yan Ma, Peng Liu, Dingsheng Liu, Jibo Xie: An Optimized Image Mosaic Algorithm with Parallel IO and Dynamic Grouped Parallel Strategy Based on Minimal Spanning Tree. GCC 2010: 501-506.

15. Qu, X. and Li, J. and Zhao, W. and Than, X. and Yan, C., "Research on Critical Techniques of Disaster-Oriented Remote Sensing Quick Mapping, "Multimedia Technology (ICMT), 2010 International Conference on, pp. 1-4, 2010.

16. Lingjun Zhao, Yan Ma, Guoqing Li, Wenyang Vu, Jing Zhang: Rapid Calculation Research on Water Area Extraction from ASAR Image. GCC 2009: 339-343

17. Christophe, E., J. Michel, et al. (2011). "Remote sensing processing: From multicore to GPU." Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of 4(3): 643-652.

18. Dios, A. J., R. Asenjo, et al. (2011). High-level template for the task-based parallel wavefront pattern, IEEE.

12)
Possibilistic Shell Clustering ofTemplate-Based Shapes

Tsaipei Wang

IEEE Transactions on Fuzzy SystemsYear: 2009,Volume: 17,Issue:4
Pages:777- 793Cited by:Papers (7)IEEE Journals & Magazines

1. J. C. Bezdek, Pattern Recognition With Fuzzy Objective Function Algorithms, New York:Plenum, 1981.

2. I. Gath, A. B. Geva, "Unsupervised optimal fuzzy clustering", IEEE Trans. Pattern Anal. Mach. Intell., vol. 11, no. 7, pp. 773-781, Jul. 1989.

3. R. Krishnapurum, J. M. Keller, "A possibilistic approach to clustering", IEEE Trans. Fuzzy Syst., vol. 1, no. 2, pp. 98-110, May 1993.

4. R. Krishnapurum, J. M. Keller, "The possibilistic c-means algorithm: Insights and recommendations", IEEE Trans. Fuzzy Syst., vol. 4, no. 3, pp. 385-393, Aug. 1996.

5. M. S. Yang, K. L. Wu, "Unsupervised possibilistic clustering", Pattern Recog., vol. 39, pp. 5-21, 2006.

6. N. R. Pal, K. Pal, J. M. Keller, J. C. Bezdek, "A possibilistic fuzzy c-means", IEEE Trans. Fuzzy Syst., vol. 13, no. 4, pp. 517-530, Aug. 2005.

7. E. E. Gustafson, W. C. Kessel, "Fuzzy clustering with a fuzzy covariance matrix", Proc. IEEE CDC, pp. 761-766, 1979.

8. I. H. Suh, J.-H. Kim, F. C.-H. Rhee, "Convex-set-based fuzzy clustering", IEEE Trans. Fuzzy Syst., vol. 7, no. 3, pp. 271-285, Jun. 1999.

9. R. N. Dave, "Use of the adaptive fuzzy clustering algorithm to detect lines in digital images", Proc. SPIE, vol. 1192, pp. 600-611, 1989.

10. R. N. Dave, "Fuzzy shell-clustering and application to circle detection in digital images", Int. J. Gen. Syst., vol. 16, pp. 343-355, 1990.

11. J. C. Bezdek, R. J. Hathaway, "Numerical convergence and interpretation of the fuzzy c-shells clustering algorithm", IEEE Trans. Neural Netw., vol. 3, no. 5, pp. 787-793, Sep. 1992.

12. Y. H. Man, I. Gath, "Detection and separation of ring-shaped clusters using fuzzy clustering", IEEE Trans. Pattern Anal. Mach. Intell., vol. 16, no. 8, pp. 855-861, Aug. 1994.

13. R. Krishnapurum, O. Nasraoui, H. Frigui, "The fuzzy c spherical shells algorithm: A new approach", IEEE Trans. Neural Netw., vol. 3, no. 5, pp. 663-671, Sep. 1992.

14. R. N. Dave, K. Bhaswan, "Adaptive fuzzy C-shells clustering and detection of ellipses", IEEE Trans. Neural Netw., vol. 3, no. 5, pp. 643-662, Sep. 1992.

15. H. Frigui, R. Krishnapurum, "A comparison of fuzzy shell clustering methods for the detection of ellipses", IEEE Trans. Fuzzy Syst., vol. 4, no. 2, pp. 193-199, May 1996.

16. R. Krishnapurum, H. Frigui, O. Nasraoui, "The fuzzy c quadratic shell clustering algorithm and the detection of second-degree curves", Pattern Recog. Lett., vol. 14, pp. 545-554, 1993.

17. R. Krishnapurum, H. Frigui, O. Nasraoui, "Fuzzy and possibilistic shell clustering algorithms and their application to boundary detection and surface approximation—Part I", IEEE Trans. Fuzzy Syst., vol. 3, no. 1, pp. 29-43, Feb. 1995.

18. R. Krishnapurum, H. Frigui, O. Nasraoui, "Fuzzy and possibilistic shell clustering algorithms and their application to boundary detection and surface approximation—Part II", IEEE Trans. Fuzzy Syst., vol. 3, no. 1, pp. 44-60, Feb. 1995.

19. I. Gath, D. Hoory, "Fuzzy clustering of elliptic ring-shaped clusters", Pattern Recog. Lett., vol. 16, pp. 727-741, 1995.

20. F. Hoeppner, "Fuzzy shell clustering algorithms in image processing: Fuzzy c-rectangular and 2-rectangular shells", IEEE Trans. Fuzzy Syst., vol. 5, no. 4, pp. 599-613, Nov. 1997.

21. X.-B. Gao, W.-X. Xie, J.-Z. Liu, J. Li, "Template based fuzzy c-shells clustering algorithm and its fast implementation", Proc. IEEE Int. Conf. Signal Process., pp. 1269-1272, 1996.

22. I. Gath, D. Hoory, "Detection of elliptic shells using fuzzy clustering: application to MRI images", Proc. Int. Conf. Pattern Recog., vol. 2, pp. 251-255, 1994.

23. M. Barni, R. Gualtieri, "A new possibilistic clustering algorithm for line detection in real world imagery", Pattern Recog., vol. 32, pp. 1897-1909, 1999.

24. M. Barni, A. Mecocci, L. Perugini, "Craters detection via possibilistic shell clustering", Proc. IEEE Int. Conf. Image Process., vol. 2, pp. 720-723.

25. A. Verikas, K. Malmqvist, L. Bergman, "Detecting and measuring rings in banknote images", Eng. Appl. Artif. Intell., vol. 18, pp. 363-371, 2005.

26. S. Delb, P. Gamba, D. Roccato, "A fuzzy shell clustering approach to recognize hyperbolic signatures in subsurface radar images", IEEE Trans. Geosci. Remote Sens., vol. 38, no. 3, pp. 1447-1451, May 2000.

27. D. H. Ballard, "Generalizing the Hough transform to detect arbitrary shapes", Pattern Recog., vol. 13, pp. 111-122, 1981.

28. J. Illingworth, J. Kittler, "The adaptive Hough transform", IEEE Trans. Pattern Anal. Mach. Intell., vol. PAMI-9, no. 5, pp. 690-698, Sep. 1987.

29. J. C. Bezdek, R. J. Hathaway, N. R. Pal, "Norm-induced shell-prototypes (NISP) clustering", Neural Parallel Sci. Comput., vol. 3, pp. 431-449, 1995.

30. L. O. Hall, I. B. Ozyurt, J. C. Bezdek, "Clustering with a genetically optimized approach", IEEE Trans. Evol. Comput., vol. 3, no. 2, pp. 103-112, Jul. 1999.

31. T. Wang, "Possibilistic c-template clustering and its application in object detection in images", Springer Lecture Notes Comput. Sci., vol. 4139, pp. 383-392, 2006.

32. R. N. Dave, R. Krishnapuram, "Robust clustering methods: A unified view", IEEE Trans. Fuzzy Syst., vol. 5, no. 2, pp. 270-293, May 1997.

33. D. P. Bertsekas, J. N. Tsitsiklis, "Some aspects of parallel and distributed iterative algorithms—A survey", Automance, vol. 27, pp. 3-21, 1991.

34. H. Kawanishi, M. Hagiwara, "A shape detection method using improved genetic algorithm", Proc. IEEE Int. Conf. Syst. Man Cybern., vol. 1, pp. 235-240, 1995.

35. X. L. Yang, Q. Song, A. Z. Cao, S. Liu, C. Y. Guo, "Robust c-shells based deterministic annealing clustering algorithm", Proc. IEEE Int. Conf. Fuzzy Syst., vol. 3, pp. 1413-1417, 2004.

36. A. K. Jain, Y. Zhong, M. P. Dubuisson-Jolly, "Deformable template models: A review", Signal Process., vol. 71, pp. 109-129, 1998.

0

IEEEE C++ Template generic 72

投稿日時 : 2018/12/28  小川 清 
Boost.SIMD:Genericprogramming for portable SIMDizationPierre Estérie;Mathias Gaunard;Joel Falcou;Jean-Thierry Lapresté;Brigitte Rozoy2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT)Year: 2012
Pages:431- 432IEEE Conferences
SimpleConcepts: Support for constraints ongenerictypes inC++Reed Milewicz;Marjan Mernik;Peter Pirkelbauer2013 Federated Conference on Computer Science and Information SystemsYear: 2013
Pages:1535- 1540Cited by:Patents (5)IEEE Conferences
Extension of iterator traits in theC++ StandardTemplateLibraryNorbert Pataki;Zoltán Porkoláb2011 Federated Conference on Computer Science and Information Systems (FedCSIS)Year: 2011
Pages:911- 914IEEE Conferences
Abstracting thetemplateinstantiation relation inC++Andrew Sutton;Ryan Holeman;Jonathan I. Maletic2009 IEEE International Conference on Software MaintenanceYear: 2009
Pages:559- 562IEEE Conferences
Dynamic verification ofC++genericalgorithmsChangqing Wang;D.R. MusserIEEE Transactions on Software EngineeringYear: 1997,Volume: 23,Issue:5
Pages:314- 323Cited by:Papers (6)IEEE Journals & Magazines
A classtemplatefor the best binary sort treeCen Gang;Zhou Bingsheng2010 5th International Conference on Computer Science & EducationYear: 2010
Pages:524- 527IEEE Conferences
Compile time recursive objects inC++

J. Jarvi

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)Year: 1998
Pages:66- 77Cited by:Patents (2)IEEE Conferences
Redesign of agenericVHDL modeltemplatefor SRAMsC. McCloskey;R. Reese;V. SandersProceedings VHDL International Users' Forum. Fall ConferenceYear: 1997
Pages:122- 125Cited by:Papers (1)IEEE Conferences
TestingC++genericlibrariesAndrew Sutton;Marcin Zalewski2012 28th IEEE International Conference on Software Maintenance (ICSM)Year: 2012
Pages:36- 45IEEE Conferences
OptimizingC++ vector expressions

J.F. Blinn

IEEE Computer Graphics and ApplicationsYear: 2000,Volume: 20,Issue:4
Pages:97- 103IEEE Journals & Magazines
GenericParallel Programming for Massive Remote Sensing Data ProcessingYan Ma;Lizhe Wang;Dingsheng Liu;Peng Liu;Jun Wang;Jie Tao2012 IEEE International Conference on Cluster ComputingYear: 2012
Pages:420- 428Cited by:Papers (9)IEEE Conferences
Possibilistic Shell Clustering ofTemplate-Based Shapes

Tsaipei Wang

IEEE Transactions on Fuzzy SystemsYear: 2009,Volume: 17,Issue:4
Pages:777- 793Cited by:Papers (7)IEEE Journals & Magazines
TEMPeRA:TEmplatemassively PaRAllel library for efficient n-dimensional signal processingRiccardo Zanella;Francesco Ceccon2014 International Conference on High Performance Computing & Simulation (HPCS)Year: 2014
Pages:643- 650IEEE Conferences
How templates enable high-performance scientific computing inC++S. Haney;J. CrotlingerComputing in Science & EngineeringYear: 1999,Volume: 1,Issue:4
Pages:66- 72Cited by:Papers (5)IEEE Journals & Magazines
C++: an evolving language

S.P. Levitt

2004 IEEE Africon. 7th Africon Conference in Africa (IEEE Cat. No.04CH37590)Year: 2004,Volume: 2
Pages:1197- 1202 Vol.2Cited by:Patents (2)IEEE Conferences
EnrichingC-based High-Level Synthesis with parallel pattern templatesLana Josipovic;Nithin George;Paolo Ienne2016 International Conference on Field-Programmable Technology (FPT)Year: 2016
Pages:177- 180Cited by:Papers (2)IEEE Conferences
Automatically identifyingC++0x concepts in function templatesAndrew Sutton;Jonathan I. Maletic2008 IEEE International Conference on Software MaintenanceYear: 2008
Pages:57- 66Cited by:Papers (3)IEEE Conferences
Implementation of the SEMI 'GenericEquipment Model' using object-based cell technologyJ.R. DeBolt;C.R. Wickizer1991 Proceedings IEEE/SEMI International Semiconductor Manufacturing Science SymposiumYear: 1991
Pages:102- 105
Cited by:Papers (1)|Patents (3)
IEEE Conferences
Change Impact Analysis forGenericLibrariesMarcin Zalewski;Sibylle Schupp2006 22nd IEEE International Conference on Software MaintenanceYear: 2006
Pages:35- 44Cited by:Papers (5)IEEE Conferences
Out from under the trees [linear filetemplate]C. Jermaine;E. Omiecinski;Wai Gen YeeProceedings 18th International Conference on Data EngineeringYear: 2002
Page :265IEEE Conferences
Mathematical function recognition and its visualization system based on Web

Feng Pan

2011 International Conference on Computer Science and Service System (CSSS)Year: 2011
Pages:1373- 1376Cited by:Papers (1)IEEE Conferences
A framework for meshless methods usinggenericprogrammingNaísses Z. Lima;RenatoC. Mesquita;L. A. MarcosDigests of the 2010 14th Biennial IEEE Conference on Electromagnetic Field ComputationYear: 2010
Pages:1- 1Cited by:Papers (2)IEEE Conferences
A hybrid development platform for evolutionary multi-objective optimizationRuimin Shen;Jinhua Zheng;Miqing Li2015 IEEE Congress on Evolutionary Computation (CEC)Year: 2015
Pages:1885- 1892Cited by:Papers (2)IEEE Conferences
PACXX: Towards a Unified Programming Model for Programming Accelerators UsingC++14Michael Haidl;Sergei Gorlatch2014 LLVM Compiler Infrastructure in HPCYear: 2014
Pages:1- 11Cited by:Papers (6)IEEE Conferences
Invited Talk: Functional Structural Plant Models - Case LIGNUMRisto Sievänen;Jari Perttunen;Eero Nikinmaa;Juan M. Posada2009 Third International Symposium on Plant Growth Modeling, Simulation, Visualization and ApplicationsYear: 2009
Pages:3- 9IEEE Conferences
Design patterns automation withtemplatelibraryS. Dascalu;Ning Hao;N. DebnathProceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005.Year: 2005
Pages:699- 705Cited by:Papers (3)IEEE Conferences
Evolving a CUDA kernel from an nVidiatemplateW. B. Langdon;M. HarmanIEEE Congress on Evolutionary ComputationYear: 2010
Pages:1- 8Cited by:Papers (23)IEEE Conferences
Design ofgenericdirect sparse linear system solver inC++ for power system analysisS. Pandit;S.A. Soman;S.A. KhapardeIEEE Transactions on Power SystemsYear: 2001,Volume: 16,Issue:4
Pages:647- 652Cited by:Papers (13)IEEE Journals & Magazines
Designing algorithm-orientedgenericlibrary on .NET frameworkO. Rysavy;F. Scuglik;M. Sveda13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)Year: 2006
Pages:5 pp.- 163IEEE Conferences
AGenericParser to parse and reconfigure XML filesCK Akhil Rangan;J Jayanthi2011 IEEE Recent Advances in Intelligent Computational SystemsYear: 2011
Pages:823- 827
Cited by:Papers (3)|Patents (1)
IEEE Conferences
Software reuse metrics for object-oriented systemsK.K. Aggarwal;Y. Singh;A. Kaur;R. MalhotraThird ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)Year: 2005
Pages:48- 54
Cited by:Papers (16)|Patents (4)
IEEE Conferences
Agenericmulti-unit architecture for codesign methodologiesG. Gogniat;M. Auguin;C. BelleudyProceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97Year: 1997
Pages:23- 27IEEE Conferences
High performance Iris Recognition System on GPUFatma Zaky Sakr;Mohammed Taher;Ayman M. WahbaThe 2011 International Conference on Computer Engineering & SystemsYear: 2011
Pages:237- 242Cited by:Papers (4)IEEE Conferences
Self-structuring antennasC.M. Coleman;E.J. Rothwell;J.E. RossIEEE Antennas and Propagation Society International Symposium. Transmitting Waves of Progress to the Next Millennium. 2000 Digest. Held in conjunction with: USNC/URSI National Radio Science Meeting (CYear: 2000,Volume: 3
Pages:1256- 1259 vol.3Cited by:Papers (10)IEEE Conferences
Virtual view face image synthesis using 3D spring-based face model from a single imageG.C. Feng;P.C. Yuen;J.H. LaiProceedings Fourth IEEE International Conference on Automatic Face and Gesture Recognition (Cat. No. PR00580)Year: 2000
Pages:530- 535
Cited by:Papers (2)|Patents (3)
IEEE Conferences
MeterPU: AGenericMeasurement Abstraction API Enabling Energy-Tuned Skeleton Backend SelectionLu Li;Christoph Kessler2015 IEEE Trustcom/BigDataSE/ISPAYear: 2015,Volume: 3
Pages:154- 159Cited by:Papers (2)IEEE Conferences
HMMlib: AC++ Library for General Hidden Markov Models Exploiting Modern CPUsAndreas Sand;Christian N.S. Pedersen;Thomas Mailund;Asbjorn Tolbol Brask2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems BiologyYear: 2010
Pages:126- 134Cited by:Papers (7)IEEE Conferences
Applyinggenerictiming tests for distributed multimedia software systemsS.C. Cheung;S.T. Chanson;Zhendong XuIEEE Transactions on ReliabilityYear: 2004,Volume: 53,Issue:3
Pages:329- 341Cited by:Papers (3)IEEE Journals & Magazines
Possibilistic clustering ofgenericshapes derived from templates

Tsaipei Wang

2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence)Year: 2008
Pages:1721- 1728IEEE Conferences
A Parallel Skeleton Library for Multi-core ClustersYuki Karasawa;Hideya Iwasaki2009 International Conference on Parallel ProcessingYear: 2009
Pages:84- 91Cited by:Papers (7)IEEE Conferences
GBTL-CUDA: Graph Algorithms and Primitives for GPUsPeter Zhang;Marcin Zalewski;Andrew Lumsdaine;Samantha Misurda;Scott McMillan2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)Year: 2016
Pages:912- 920Cited by:Papers (9)IEEE Conferences
Productive Parallel Linear Algebra Programming with Unstructured Topology AdaptionPeter Gottschling;Torsten Hoefler2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)Year: 2012
Pages:9- 16IEEE Conferences
Efficiency inC++

S. Lippman

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)Year: 1999
Pages:414- 414IEEE Conferences
Hybrid synthesis and processing schemes for highly-ordered polyaniline nanoarchitecturesA. Vlad;P. Jedrasik;C.A. Dutu;D.A. Serban;P. Guillet;C.-A. Fustin;U. Södervall;J.F. Gohy;S. Melinte2010 3rd International Nanoelectronics Conference (INEC)Year: 2010
Pages:429- 430IEEE Conferences
Physics Analysis Tools for the CMS Experiment at LHCFrancesco Fabozzi;Christopher D. Jones;Benedikt Hegner;Luca ListaIEEE Transactions on Nuclear ScienceYear: 2008,Volume: 55,Issue:6
Pages:3539- 3543Cited by:Papers (10)IEEE Journals & Magazines
Fast nonrigid mesh registration with a data-driven deformation priorDavidC. Schneider;Peter Eisert2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV WorkshopsYear: 2009
Pages:304- 311
Cited by:Papers (7)|Patents (2)
IEEE Conferences
A framework for detecting interface violations in component-based softwareS.H. Edwards;G. Shakir;M. Sitaraman;B.W. Weide;J. HollingsworthProceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203)Year: 1998
Pages:46- 55Cited by:Papers (5)IEEE Conferences
A Top-Down approach to automated generation of high-level SPICE model of Buck RegulatorArnab Khawas;Fidel Muradali;Amitava Banerjee;Siddhartha Mukhopadhyay2011 Annual IEEE India ConferenceYear: 2011
Pages:1- 6IEEE Conferences
AGenericRussellian Elimination of Abstract Objects

KevinC. Klement

Philosophia MathematicaYear: 2017,Volume: 25,Issue:1
Pages:91- 115OUP Journals & Magazines
A study on allelic recombination

C. Cotta

The 2003 Congress on Evolutionary Computation, 2003. CEC '03.Year: 2003,Volume: 2
Pages:1406- 1413 Vol.2Cited by:Papers (1)IEEE Conferences
Building a XML based Object Mapping System (OMS)A. Trad;D. KalpicProceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.Year: 2001
Pages:89- 94 vol.1Cited by:Patents (2)IEEE Conferences
Information model for the specification of QoS agreements among ambient networksP. Mendes;J. Andres-Colas;C. Pinho2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio CommunicationsYear: 2005,Volume: 3
Pages:1830- 1834 Vol. 3Cited by:Papers (2)IEEE Conferences
An approach for software design method comparisonHung-Fu Chang;StephenC-Y. LuProceedings of the 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Year: 2012
Pages:187- 194IEEE Conferences
An approach for cross-discipline requirements engineering process patternsM.T. Gaska;D.C. GauseProceedings of IEEE International Symposium on Requirements Engineering: RE '98Year: 1998
Pages:182- 189Cited by:Papers (3)IEEE Conferences
Coterie templates: a new quorum construction methodW.K. Ng;C.V. RavishankarProceedings of 15th International Conference on Distributed Computing SystemsYear: 1995
Pages:92- 99Cited by:Papers (8)IEEE Conferences
A code synthesis experimentH. Graves;J. Louie;T. MullenProceedings of the Seventh Knowledge-Based Software Engineering ConferenceYear: 1992
Pages:6- 17Cited by:Papers (6)IEEE Conferences
Design of table-driven ATE models in a simulation environmentJ.C. Merritt;F.E. Monroe1988. IMTC-88. 5th IEEE Instrumentation and Measurement Technology ConferenceYear: 1988
Pages:27- 31IEEE Conferences
Implementing non-strict evaluation on OOVMs

N. Perry

IEE Proceedings - SoftwareYear: 2005,Volume: 152,Issue:6
Pages:309- 315IET Journals & Magazines
Requirements based testing of softwareTabinda Sarwar;Wajiha Habib;Fahim Arif2013 Second International Conference on Informatics & Applications (ICIA)Year: 2013
Pages:347- 352Cited by:Papers (1)IEEE Conferences
Beyond templates: a study of clones in the STL and some general implicationsH.A. Basit;D.C. Rajapakse;S. JarzabekProceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.Year: 2005
Pages:451- 459Cited by:Papers (2)IEEE Conferences
Construction of file management systems from software componentsD.S. Batory;J.R. Barnett;J. Roy;B.C. Twichell;J. Garza[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications ConferenceYear: 1989
Pages:358- 364IEEE Conferences
Implementation of a scalable real time canny edge detector on programmable SOCBhageshC. Maheshwari;John Burns;Michaela Blott;Giulio Gambardella2017 International Conference on Electrical and Computing Technologies and Applications (ICECTA)Year: 2017
Pages:1- 5IEEE Conferences
Energy-minimum sub-threshold self-timed circuits using current-sensing completion detectionO.C. Akgun;J.N. Rodrigues;J. SparsoIET Computers & Digital TechniquesYear: 2011,Volume: 5,Issue:4
Pages:342- 353Cited by:Papers (1)IET Journals & Magazines
Fingerprint: Technologies and Algorithms for Biometrics ApplicationsYear: 2011
IEEE Courses
Biometrics for Recognition at a DistanceYear: 2010
IEEE Courses
Cloud Services and Software Platforms: OpenNebulaYear: 2014
IEEE Courses
Cellular Wave Computers--Via Million ProcessingYear: 2009
IEEE Courses
Introduction to Universal Plug and Play TechnologyYear: 2008
IEEE Courses
Customizable and Downloadable Graphic Templates (PC and Mac) for Process Modeling Green Engineering SystemsYear: 2010
IEEE Courses
Introduction to Sustainable Green Engineering System Analysis & DesignYear: 2010
IEEE Courses
Changes to the NESC (R) 2017 EditionYear: 2017
IEEE Courses
Design ofGenericDirect Sparse Linear System Solver inC++ for Power System AnalysisP. Shuba;S. A. Soman;S. A. KhapardeIEEE Power Engineering ReviewYear: 2001,Volume: 21,Issue:11
Pages:55- 55IEEE Journals & Magazines
  • <
    (344 Kb)

0

C++ template researchgate

投稿日時 : 2018/12/26  小川 清 
Enforcing Techniques and Transformation of C/C++ Source Code to Heterogeneous Hardware
Gábor Gyimesi ; Dénes Bán ; István Siket ; Rudolf Ferenc ; Silvano Brugnoni ; Thomas Corbat ; Peter Sommerlad ; Toni Suter
2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld)
0

C++ template

投稿日時 : 2018/12/26  小川 清 
 IEEE C++ template

PyGB: GraphBLAS DSL in Python with Dynamic Compilation Into Efficient C++

 (((C++) AND Template) AND generic programmin) 

Optimizing Semantic Annotations for Web Service Invocation

Keman Huang ; Jia Zhang ; Wei Tan ; Zhiyong Feng ; Shizhan Chen

IEEE Transactions on Services Computing

HPCS 2017 Tutorials

2017 International Conference on High Performance Computing & Simulation (HPCS)

Displaying results 1-25 of 3,903 for (((C++) AND Template) AND boost) 
 Filters Applied: 2014 - 2019 

Neat SIMD: Elegant vectorization in C++ by using specialized templates
Matthias Gross
2016 International Conference on High Performance Computing & Simulation (HPCS)

Metaprogramming-Enabled Parallel Execution of Apparently Sequential C++ Code
David S. Hollman ; Janine C. Bennett ; Hemanth Kolla ; Jonathan Lifflander ; Nicole Slattengren ; Jeremiah Wilke
2016 Second International Workshop on Extreme Scale Programming Models and Middlewar (ESPM2)



IEEE text
C++ Template 2014-2018

A flexible possibilistic c-template shell clustering method with adjustable degree of deformation
Tsaipei Wang
2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

Enriching C-based High-Level Synthesis with parallel pattern templates
Lana Josipovic ; Nithin George ; Paolo Ienne
2016 International Conference on Field-Programmable Technology (FPT)

Neat SIMD: Elegant vectorization in C++ by using specialized templates
Matthias Gross
2016 International Conference on High Performance Computing & Simulation (HPCS)


Using Honey Templates to Augment Hash Based Biometric Template Protection
Bian Yang ; Edlira Martiri
2015 IEEE 39th Annual Computer Software and Applications Conference

Interval arithmetic, hull-consistency enforcing and algorithmic differentiation using a template-based package
Bartlomiej Jacek Kubica ; Jaroslaw Kurek
19th International Conference Computational Problems of Electrical Engineering

Portable high-performance software design using templated meta-programming for EM calculations
Jamie Infantolino ; James Ross ; David Richie
2017 International Applied Computational Electromagnetics Society Symposium - Italy (ACES)

Template matching using multiple templates weighted normalised cross correlation
Ze-Hao Wong ; K. Abdullah ; C. J. Wong
2014 IEEE Symposium on Computer Applications and Industrial Electronics (ISCAIE)

AutoTuneTMP: Auto-Tuning in C++ With Runtime Template Metaprogramming
David Pfander ; Malte Brunn ; Dirk Pflüger
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

Metaprogramming-Enabled Parallel Execution of Apparently Sequential C++ Code
David S. Hollman ; Janine C. Bennett ; Hemanth Kolla ; Jonathan Lifflander ; Nicole Slattengren ; Jeremiah Wilke
2016 Second International Workshop on Extreme Scale Programming Models and Middlewar (ESPM2)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
Gábor Antal ; Dávid Havas ; István Siket ; Árpád Beszédes ; Rudolf Ferenc ; József Mihalicza
2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM)

Practical guidance method for C/C++ teaching reform
Shanna Zhuang ; Hui Wang ; WenBin Zhao ; Tongrang Fan ; Yumei Zhang
2015 10th International Conference on Computer Science & Education (ICCSE)


A C++ Header Library for Web Applications
Shusuke Okamoto ; Masaki Kohana
2016 19th International Conference on Network-Based Information Systems (NBiS)

Enforcing Techniques and Transformation of C/C++ Source Code to Heterogeneous Hardware
Gábor Gyimesi ; Dénes Bán ; István Siket ; Rudolf Ferenc ; Silvano Brugnoni ; Thomas Corbat ; Peter Sommerlad ; Toni Suter
2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld)

Approving an Online C++ Introductory Programing Course via Quality Matters through Informal Reviewers
Suhair Amer
2016 International Conference on Computational Science and Computational Intelligence (CSCI)

C/C++ Preprocessing with modern data storage devices
Bence Babati ; Norbert Pataki ; Zoltán Porkoláb
2015 IEEE 13th International Scientific Conference on Informatics

Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution
Richárd Szalay ; Zoltán Porkoláb ; Dániel Krupp
2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM)


0

visual studio 2017 autosar warning

投稿日時 : 2018/09/15  小川 清 
>cl A0-1-1.cpp /EHsc /Wall
Microsoft(R) C/C++ Optimizing Compiler Version 19.15.26726 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.
A0-1-1.cpp
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\malloc.h(45): warning C4820: '_heapinfo': '4' バイトのパディングを データ メンバー '_heapinfo::_useflag' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\vcruntime_exception.h(25): warning C4820: '__std_exception_data': '7' バイトのパディングを データ メンバー '__std_exception_data::_DoFree' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\vcruntime_typeinfo.h(44): warning C4820: '__std_type_info_data': '7' バイトのパディングを データ メンバー '__std_type_info_data::_DecoratedName' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocinfo.h(60): warning C4820: '_Collvec': '4' バイトのパディングを データ メンバー '_Collvec::_Page' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocinfo.h(66): warning C4820: '_Ctypevec': '4' バイトのパディングを データ メンバー '_Ctypevec::_Page' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocinfo.h(68): warning C4820: '_Ctypevec': '4' バイトのパディングを データ メンバー '_Ctypevec::_Delfl' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xutility(4183): warning C4820: 'std::_Yarn<char>': '7' バイトのパディングを データ メンバ ー 'std::_Yarn<char>::_Nul' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocinfo(228): note: コンパイル対象の クラス テンプレート インスタンス化 'std::_Yarn<char>' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocinfo(228): warning C4820: 'std::_Locinfo': '4' バイトのパディングを データ メンバー 'std::_Locinfo::_Lock' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xutility(4183): warning C4820: 'std::_Yarn<wchar_t>': '6' バイトのパディングを データ メンバー 'std::_Yarn<wchar_t>::_Nul' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocinfo(230): note: コンパイル対象の クラス テンプレート インスタンス化 'std::_Yarn<wchar_t>' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(182): warning C4820: 'std::locale::facet': '4' バイトのパディングを データ メンバ ー 'std::locale::facet::_Myrefs' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(247): warning C4820: 'std::locale::_Locimp': '3' バイトのパディングを データ メン バー 'std::locale::_Locimp::_Xparent' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(488): warning C4820: 'std::locale': '7' バイトのパディングを 基底クラス 'std::_Crt_new_delete' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(330): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(356): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(812): warning C4625: 'std::codecvt_base': コピー コンストラクターは暗黙的に削除済 みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(812): warning C4626: 'std::codecvt_base': 代入演算子は暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1354): warning C4625: 'std::codecvt<char16_t,char,_Mbstatet>': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1354): warning C4626: 'std::codecvt<char16_t,char,_Mbstatet>': 代入演算子は暗黙的 に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1679): warning C4625: 'std::codecvt<char32_t,char,_Mbstatet>': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1679): warning C4626: 'std::codecvt<char32_t,char,_Mbstatet>': 代入演算子は暗黙的 に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1927): warning C4820: 'std::codecvt<wchar_t,char,_Mbstatet>': '4' バイトのパディングを データ メンバー 'std::codecvt<wchar_t,char,_Mbstatet>::_Cvt' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1927): warning C4625: 'std::codecvt<wchar_t,char,_Mbstatet>': コピー コンストラク ターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(1927): warning C4626: 'std::codecvt<wchar_t,char,_Mbstatet>': 代入演算子は暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2183): warning C4820: 'std::codecvt<unsigned short,char,_Mbstatet>': '4' バイトの パディングを データ メンバー 'std::codecvt<unsigned short,char,_Mbstatet>::_Cvt' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2183): warning C4625: 'std::codecvt<unsigned short,char,_Mbstatet>': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2183): warning C4626: 'std::codecvt<unsigned short,char,_Mbstatet>': 代入演算子は 暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2231): warning C4625: 'std::ctype_base': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2231): warning C4626: 'std::ctype_base': 代入演算子は暗黙的に削除済みとして定義さ れました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2733): warning C4625: 'std::ctype<char>': コピー コンストラクターは暗黙的に削除済 みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2733): warning C4626: 'std::ctype<char>': 代入演算子は暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2974): warning C4820: 'std::ctype<wchar_t>': '4' バイトのパディングを データ メン バー 'std::ctype<wchar_t>::_Cvt' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2974): warning C4625: 'std::ctype<wchar_t>': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(2974): warning C4626: 'std::ctype<wchar_t>': 代入演算子は暗黙的に削除済みとして定 義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(3217): warning C4820: 'std::ctype<unsigned short>': '4' バイトのパディングを デー タ メンバー 'std::ctype<unsigned short>::_Cvt' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(3217): warning C4625: 'std::ctype<unsigned short>': コピー コンストラクターは暗黙 的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(3217): warning C4626: 'std::ctype<unsigned short>': 代入演算子は暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(3262): warning C4625: 'std::ctype_byname<char>': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocale(3262): warning C4626: 'std::ctype_byname<char>': 代入演算子は暗黙的に削除済みとし て定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(192): warning C4820: 'std::error_code': '4' バイトのパディングを データ メン バー 'std::error_code::_Myval' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(262): warning C4820: 'std::error_condition': '4' バイトのパディングを データ メンバー 'std::error_condition::_Myval' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(498): warning C4625: 'std::_Generic_error_category': コピー コンストラクター は暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(498): warning C5026: 'std::_Generic_error_category': 移動コンストラクターが暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(498): warning C4626: 'std::_Generic_error_category': 代入演算子は暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(498): warning C5027: 'std::_Generic_error_category': 移動代入演算子が暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(526): warning C4625: 'std::_Iostream_error_category': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(526): warning C5026: 'std::_Iostream_error_category': 移動コンストラクターが 暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(526): warning C4626: 'std::_Iostream_error_category': 代入演算子は暗黙的に削 除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(526): warning C5027: 'std::_Iostream_error_category': 移動代入演算子が暗黙的 に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(574): warning C4625: 'std::_System_error_category': コピー コンストラクターは暗黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(574): warning C5026: 'std::_System_error_category': 移動コンストラクターが暗 黙的に削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(574): warning C4626: 'std::_System_error_category': 代入演算子は暗黙的に削除 済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\system_error(574): warning C5027: 'std::_System_error_category': 移動代入演算子が暗黙的に 削除済みとして定義されました
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xiosbase(589): warning C4820: 'std::ios_base::_Fnarray': '4' バイトのパディングを データ  メンバー 'std::ios_base::_Fnarray::_Index' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xiosbase(642): warning C4820: 'std::ios_base': '4' バイトのパディングを データ メンバー 'std::ios_base::_Fmtfl' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ios(188): warning C4820: 'std::basic_ios<char,std::char_traits<char>>': '7' バイトのパディングを データ メンバー 'std::basic_ios<char,std::char_traits<char>>::_Fillch' の後に追加しま した。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(42): note: コンパイル対象の クラス テンプレート インスタンス化 'std::basic_ios<char,std::char_traits<char>>' のリファレンスを確認してください
A0-1-1.cpp(21): note: コンパイル対象の クラス テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>>' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(629): warning C4820: 'std::basic_ostream<char,std::char_traits<char>>': '4' バイトのパディングを データ メンバー 'std::basic_ostream<char,std::char_traits<char>>::{vbptr}' の 後に追加しました。
A0-1-1.cpp(82): warning C4365: '引数': 'int8_t' から 'std::array<int32_t,100>::size_type' に 変換しました。signed/unsigned が一致しません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(161): warning C4820: 'std::basic_ostream<char,std::char_traits<char>>::sentry': '7' バイトのパディングを データ メンバー 'std::basic_ostream<char,std::char_traits<char>>::sentry::_Ok' の後に追加しました。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(298): note: コンパイル対象の クラス テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>>::sentry' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(296): note: クラス テンプレート のメンバー関数 'std::basic_ostream<char,std::char_traits<char>> &std::basic_ostream<char,std::char_traits<char>>::operator <<(int)' のコンパイ ル中
A0-1-1.cpp(21): note: コンパイル対象の関数 テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>> &std::basic_ostream<char,std::char_traits<char>>::operator <<(int)' のリファレンスを確認してください
A0-1-1.cpp(21): note: コンパイル対象の クラス テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>>' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1833): warning C4625: 'std::num_put<_Elem,std::ostreambuf_iterator<_Elem,_Traits>>': コピー コンストラクターは暗黙的に削除済みとして定義されました
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(310): note: コンパイル対象の クラス テンプレート インスタンス化 'std::num_put<_Elem,std::ostreambuf_iterator<_Elem,_Traits>>' のリファレンスを確認してください
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1833): warning C4626: 'std::num_put<_Elem,std::ostreambuf_iterator<_Elem,_Traits>>': 代入演算子は暗黙的に削除済みとして定義されました
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\streambuf(710): warning C4820: 'std::ostreambuf_iterator<_Elem,_Traits>': '7' バイトのパディングを データ メンバー 'std::ostreambuf_iterator<_Elem,_Traits>::_Failed' の後に追加しまし た。
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(310): note: コンパイル対象の クラス テンプレート インスタンス化 'std::ostreambuf_iterator<_Elem,_Traits>' のリファレンスを確認してください
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(313): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1616): warning C4774: 'sprintf_s' : 引数 3 に必要な書式文字列が文字列リテラルでは ありません
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1616): note: たとえば、'name' の形式指定子はセキュリティ上の問題を引き起こす可能性があるため、printf(名前); の代わりに printf("%s", 名前); を使用します
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1616): note: 名前付き文字列リテラルに対し constexpr 指定子を使用することをお勧めします
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1599): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,long double) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(310): note: コンパイル対象の クラス テンプレート インスタンス化 'std::num_put<_Elem,std::ostreambuf_iterator<_Elem,_Traits>>' のリファレンスを確認してください
        with
        [
            _Elem=char,
            _Traits=std::char_traits<char>
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(296): note: クラス テンプレート のメンバー関数 'std::basic_ostream<char,std::char_traits<char>> &std::basic_ostream<char,std::char_traits<char>>::operator <<(int)' のコンパイ ル中
A0-1-1.cpp(21): note: コンパイル対象の関数 テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>> &std::basic_ostream<char,std::char_traits<char>>::operator <<(int)' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1592): warning C4774: 'sprintf_s' : 引数 3 に必要な書式文字列が文字列リテラルでは ありません
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1592): note: たとえば、'name' の形式指定子はセキュリティ上の問題を引き起こす可能性があるため、printf(名前); の代わりに printf("%s", 名前); を使用します
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1592): note: 名前付き文字列リテラルに対し constexpr 指定子を使用することをお勧めします
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1575): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,double) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1569): warning C4774: 'sprintf_s' : 引数 3 に必要な書式文字列が文字列リテラルでは ありません
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1569): note: たとえば、'name' の形式指定子はセキュリティ上の問題を引き起こす可能性があるため、printf(名前); の代わりに printf("%s", 名前); を使用します
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1569): note: 名前付き文字列リテラルに対し constexpr 指定子を使用することをお勧めします
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1565): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,unsigned __int64) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1559): warning C4774: 'sprintf_s' : 引数 3 に必要な書式文字列が文字列リテラルでは ありません
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1559): note: たとえば、'name' の形式指定子はセキュリティ上の問題を引き起こす可能性があるため、printf(名前); の代わりに printf("%s", 名前); を使用します
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1559): note: 名前付き文字列リテラルに対し constexpr 指定子を使用することをお勧めします
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1555): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,__int64) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1549): warning C4774: 'sprintf_s' : 引数 3 に必要な書式文字列が文字列リテラルでは ありません
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1549): note: たとえば、'name' の形式指定子はセキュリティ上の問題を引き起こす可能性があるため、printf(名前); の代わりに printf("%s", 名前); を使用します
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1549): note: 名前付き文字列リテラルに対し constexpr 指定子を使用することをお勧めします
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1545): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,unsigned long) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1539): warning C4774: 'sprintf_s' : 引数 3 に必要な書式文字列が文字列リテラルでは ありません
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1539): note: たとえば、'name' の形式指定子はセキュリティ上の問題を引き起こす可能性があるため、printf(名前); の代わりに printf("%s", 名前); を使用します
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1539): note: 名前付き文字列リテラルに対し constexpr 指定子を使用することをお勧めします
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1535): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,long) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(263): warning C4820: 'std::numpunct<_Elem>': '6' バイトのパディングを データ メン バー 'std::numpunct<_Elem>::_Kseparator' の後に追加しました。
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1514): note: コンパイル対象の クラス テンプレート インスタンス化 'std::numpunct<_Elem>' のリファレンスを確認してください
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1506): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,bool) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(265): warning C4625: 'std::numpunct<_Elem>': コピー コンストラクターは暗黙的に削除済みとして定義されました
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(265): warning C4626: 'std::numpunct<_Elem>': 代入演算子は暗黙的に削除済みとして定 義されました
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(181): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(176): note: クラス テンプレート のメンバー関数 'void std::basic_ostream<char,std::char_traits<char>>::_Osfx(void)' のコンパイル中
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(139): note: コンパイル対象の関数 テンプレート インスタンス化 'void std::basic_ostream<char,std::char_traits<char>>::_Osfx(void)' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(826): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
A0-1-1.cpp(21): note: コンパイル対象の関数 テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>> &std::operator <<<std::char_traits<char>>(std::basic_ostream<char,std::char_traits<char>> &,const char *)' のリファレンスを確認してください
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(558): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(546): note: クラス テンプレート のメンバー関数 'std::basic_ostream<char,std::char_traits<char>> &std::basic_ostream<char,std::char_traits<char>>::put(_Elem)' のコンパイル中
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(1020): note: コンパイル対象の関数 テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>> &std::basic_ostream<char,std::char_traits<char>>::put(_Elem)' のリファレンスを確認してください
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(212): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(200): note: クラス テンプレート のメンバー関数 'void std::numpunct<_Elem>::_Init(const std::_Locinfo &,bool)' のコンパイル中
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(160): note: コンパイル対象の関数 テンプレート インスタンス化 'void std::numpunct<_Elem>::_Init(const std::_Locinfo &,bool)' のリファレンスを確認してください
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1514): note: コンパイル対象の クラス テンプレート インスタンス化 'std::numpunct<_Elem>' のリファレンスを確認してください
        with
        [
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\xlocnum(1506): note: クラス テンプレート のメンバー関数 '_OutIt std::num_put<_Elem,_OutIt>::do_put(_OutIt,std::ios_base &,_Elem,bool) const' のコンパイル中
        with
        [
            _OutIt=std::ostreambuf_iterator<char,std::char_traits<char>>,
            _Elem=char
        ]
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(864): warning C4571: 情報: catch(...) の意味が Visual C++ 7.1 から変更されています。構造化例外 (SEH) はキャッチされません。
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community\VC\Tools\MSVC\14.15.26726\include\ostream(984): note: コンパイル対象の関数 テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>> &std::operator <<<std::char_traits<char>>(std::basic_ostream<char,std::char_traits<char>> &,char)' のリファレンスを確認してください
A0-1-1.cpp(92): note: コンパイル対象の関数 テンプレート インスタンス化 'std::basic_ostream<char,std::char_traits<char>> &std::operator <<<std::char_traits<char>>(std::basic_ostream<char,std::char_traits<char>> &,unsigned char)' のリファレンスを確認してください
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\stdlib.h(359): warning C4514: 'abs': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\stdlib.h(364): warning C4514: 'abs': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\stdlib.h(369): warning C4514: 'div': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\stdlib.h(374): warning C4514: 'div': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\corecrt_math.h(290): warning C4514: 'fpclassify': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\corecrt_math.h(295): warning C4514: 'fpclassify': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\corecrt_math.h(300): warning C4514: 'fpclassify': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\corecrt_math.h(305): warning C4514: 'signbit': 参照されていないインライン関数は削除されました。
C:\Program Files (x86)\Windows Kits\10\include\10.0.17134.0\ucrt\corecrt_math.h(310): warning
0

Clean Architecture by Robert C Martin

投稿日時 : 2018/08/16  小川 清 
Clean Architecture by Robert C Martin

Clean Architecture: A Craftsman's Guide to Software Structure and Design (Robert C. Martin Series) 1st Edition



https://www.amazon.com/dp/0134494164

ygrenzinger/CleanArchitecture
https://gist.github.com/ygrenzinger/14812a56b9221c9feca0b3621518635b


p.s. 
0

C++N3242, 2011 (25)3.8 Object lifetime [basic.life] p.70.cpp

投稿日時 : 2018/08/15  小川 清 
#はじめに(Introduction)
C++N3242, 2011, Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf

C++N3242は、ISO/IEC JTC1 SC22 WG21の作業文書(N number Document)です。
公式のISO/IEC 14882原本ではありません。

ISO/IEC JTC1 SC22 WG21では、可能な限り作業文書を公開し、幅広い意見を求めています。

一連の記事はコード断片をコンパイルできる形にする方法を検討してコンパイル、リンク、実行して、規格案の原文と処理系(g++, Clang++)との違いを確認し、技術内容を検討し、ISO/IEC JTC1 SC22 WG21にフィードバックするために用います。

また、CERT C++, MISRA C++等のコーディング標準のコード断片をコンパイルする際の参考にさせていただこうと考えています。CERT C++, MISRA C++が標準化の動きとの時間的なずれがあれば確認できれば幸いです。また、boostライブラリとの関連、Linux OS, TOPPERSカーネル、g++(GCC), clang++(LLVM）との関係を調査中です。

何か、抜け漏れ、耳より情報がありましたらおしらせくださると幸いです。

##作業方針(sequence)
下記4）までの過程はhosted環境で行います。
１）コンパイルエラーを収集する。
２）コンパイルエラーをなくす方法を検討する。
コンパイルエラーになる例を示すだけが目的のコードは、コンパイルエラーをなくすのではなく、コンパイルエラーの種類を収集するだけにする。
文法を示すのが目的のコード場合に、コンパイルエラーをなくすのに手間がかかる場合は、順次作業します。
３）リンクエラーをなくす方法を検討する。
文法を示すのが目的のコード場合に、リンクエラーをなくすのに手間がかかる場合は、順次作業します。
４）意味のある出力を作る。
コンパイル、リンクが通っても、意味のある出力を示そうとすると、コンパイル・リンクエラーが出て収拾できそうにない場合がある。順次作業します。
５hosted環境とfreestnding環境の違いによる影響、課題を洗い出し、freestanding環境での実行結果の作成を試みます。

１）だけのものから５）まで進んだものと色々ある状態です。一歩でも前に進むご助言をお待ちしています。「検討事項」の欄に現状を記録するようにしています。

## C++N3242符号断片編纂一覧(example code compile list)
C++N3242, 2011, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/685b5c1a2c17c1bf1318

https://researchmap.jp/jodlit3dy-1797580/#_1797580

### C++N4606符号断片編纂一覧(example code compile list)
C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

### C++N4741符号断片編纂一覧(example code compile list)
C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010


# (25)3.8 Object lifetime [basic.life] p.70.cpp
https://researchmap.jp/jofvylnub-1797580/#_1797580
## 編纂器(Compiler)
###clang++ --version
clang version 6.0.0 (tags/RELEASE_600/final)
Target: x86_64-apple-darwin17.4.0

###g++-8 --version
g++-8 (Homebrew GCC 8.1.0) 8.1.0
Copyright (C) 2018 Free Software Foundation, Inc.

##算譜(source code)

```c++:p70.cpp
// 1 filename:p70.cpp
// ver 0.1 June.10, 2014
// ver 0.2 July.7, 2018
// 2 original examples and/or notes:
// (c) ISO/IEC JTC1 SC22 WG21 N3242, April 12, 2011
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf
const char* msg= "C++N3242, 2011(25)3.8 Object lifetime [basic.life] p.70.cpp";
//
// 3 compile and output mechanism:
// (c) Ogawa Kiyoshi, kaizen @ wh.commufa.jp
//
// 4 compile errors and/or wornings:
// 4.1(c) Apple LLVM
// 4.1.1 ver.0.10
// version 5.1 (clang-503.0.40) (based on LLVM 3.4svn)
// Target: x86_64-apple-darwin13.2.0,  Thread model: posix
// Command/Options: c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-2-5.cpp
// (c) LLVM 2003-2009 University of Illinois at Urbana-Champaign.
// 4.1.2 ver.0.20
// clang version 6.0.0 (tags/RELEASE_600/final)
// Target: x86_64-apple-darwin17.4.0
// 4.2. g++-4.9 (GCC) 4.9.0 20131229 (experimental)
// Copyright (C) 2013 Free Software Foundation, Inc.
// This is free software; see the source for copying conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
// http://gcc.gnu.org/onlinedocs/gcc/Standards.html
// 4.2.1 ver. 0.1
// Command/Options: g++-4.9  -std=c++11  -Wall cpp2011-2-5.cpp
// g++-4.9: error: unrecognized command line option '-stdlib=libc++'
// Configuration:brew install gcc49
// 4.2.2 ver. 0.2
// g++-8 (Homebrew GCC 8.1.0) 8.1.0
// Copyright (C) 2018 Free Software Foundation, Inc.
// 4.3. Visual Studio Express 2013,
// (c) Microsoft http://www.visualstudio.com/
// SPEC:
// Windows 7, .NET Framework
// (c) VMware, Inc.
// VMWare fusion 6
///
// 5. Hardware:  MacBook Pro,
// 5.1 ver. 0.10
//(c) Intel http://ark.intel.com/products/37006/
// Core 2 Duo 2.53GHz, 8GB, 1067MHz DDR3
// 5.2 ver. 0.20
// intel Corei5, 2.6GHz, 16GB, 166MHz DDR
//
// 6. Special Thanks: Upper organizatios and
// ITSCJ/IPSJ http://www.itscj.ipsj.or.jp/itscj_english/index.html
// NPO SESSAME project, http://www.sessame.jp/workinggroup/WorkingGroup3/
// Toyo Corporation, http://www.toyo.co.jp/English/
// Japan Standard Association, http://bit.ly/1lzykg1
// NPO TOPPERS project, https://www.toppers.jp/asp-d-download.html
// Daido Universcity, http://www.daido-it.ac.jp/gakubugakka/computer/index.html
// WITZ Co.Ltd., http://www.witz-inc.co.jp/products/solution/solution.html
// SevenWise.co., http://www.7ws.co.jp/index.html
// TOYOTA Motor Corporation, http://toyota.jp/
// IT planning Inc., http://www.itpl.co.jp/en/index.html
// DENSO Corporation, http://www.globaldenso.com/en/
// Aisin Seiki co. Ltd., http://www.aisin.com/
// Spancion Inc., http://www.spansion.com/
// Yazaki Corporation, http://www.yazaki-group.com/global/
// Pananosic Corporation, http://www.panasonic.net/
// SWEST: Summer Workshop on Embedded System Technologies , http://swest.toppers.jp
// CEST: Consortium for Embedded System Technology, http://www.ertl.jp/CEST/
// JUSE: Union of Japanese Scientists and Engineers, http://www.juse.or.jp/e/
// OSC:Open Source Conference, http://www.ospn.jp/

#include <iostream>
#include <cstdlib>

using namespace std;

namespace N {
  int i = 4; /// add for compile error
}

/// from here, on the  N3242 without /// lines

struct C {
int i;
void f();
const C& operator=( const C& );
};
//
const C& C::operator=( const C& other) {
if ( this != &other ) {
this->~C(); // lifetime of *this ends
new (this) C(other); // new object of type C created
f(); // well-defined
}
return *this;
}


//
struct B {
virtual void f();
B();
void mutate();
virtual ~B();
};
struct D1 : B { void f(); };
struct D2 : B { void f(); };
void B::mutate() {
new (this) D2; // reuses storage — ends the lifetime of *this
f(); // undefined behavior
B * b = this; // OK, this points to valid memory
cout << b << std::endl;
}
//  "B::B()", referenced from:
//      D1::D1() in cpp2011-3-8-b4d375.o
//      D2::D2() in cpp2011-3-8-b4d375.o
B::B(){new(B);}
//  "vtable for D1", referenced from:
//      D1::D1() in cpp2011-3-8-d7ae21.o
//  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
//cpp2011-3-8.cpp:81:5: error: definition of implicitly declared default constructor
//D1::D1(){new(D1);}
//D1::D1();
//  "vtable for D2", referenced from:
//      D2::D2() in cpp2011-3-8-d7ae21.o
//  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
//cpp2011-3-8.cpp:82:5: error: definition of implicitly declared default constructor
//D2::D2(){new(D2);}
//D2::D2();
void g() {
void* p = std::malloc(sizeof(D1) + sizeof(D2));
B* pb = new (p) D1;
pb->mutate();
&pb; // OK: pb points to valid memory
void* q = pb; // OK: pb points to valid memory
pb->f(); // undefined behavior, lifetime of *pb has ended
cout << q << std::endl;
}
//
class T { };
struct B1 {
~B1();
};
void h() {
B1 b;
new (&b) T;
} // undefined behavior at block exit
//
struct B2 {
B2();
~B2();
};
const B2 b;
void h2() {
b.~B2();
new (const_cast<B2*>(&b)) const B2; // undefined behavior
}
int main() {
C c1;
C c2;
c1 = c2; // well-defined
c1.f(); // well-defined; c1 refers to a new object of type C


/// to here, on the  N3242 without /// lines

///int main() {

g();

  cout << msg <<endl;
  return EXIT_SUCCESS;
}
```
##編纂・実行結果(compile and go)

```shell_session:cppall.sh
$ ../cpla.sh p52
$ clang++ p52.cpp -std=c++03 -Wall
0x10d53b0f40x10d53b0f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ clang++ p52.cpp -std=c++2a -Wall
0x10fb4f0f40x10fb4f0f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp

$ g++-8 p52.cpp -std=c++03  -Wall
0x109ad90640x109ad9065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp

$ g++-8 p52.cpp -std=c++2a  -Wall
0x10767c0640x10767c065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
OgawaKiyoshi-no-MacBook-Pro:c11 ogawakiyoshi$ ../cppall.sh p52
$ clang++ p52.cpp -std=c++03 -Wall
0x10385e0f40x10385e0f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ clang++ p52.cpp -std=c++11 -Wall
0x10939b0f40x10939b0f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ clang++ p52.cpp -std=c++14 -Wall
0x1027370f40x1027370f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ clang++ p52.cpp -std=c++17 -Wall
0x1097160f40x1097160f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ clang++ p52.cpp -std=c++2a -Wall
0x103b670f40x103b670f5
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp

$ g++-8 p52.cpp -std=c++03  -Wall
0x108d9c0640x108d9c065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ g++-8 p52.cpp -std=c++11  -Wall
0x107a3c0640x107a3c065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ g++-8 p52.cpp -std=c++14  -Wall
0x10cd9b0640x10cd9b065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ g++-8 p52.cpp -std=c++17  -Wall
0x10d13c0640x10d13c065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp
$ g++-8 p52.cpp -std=c++2a  -Wall
0x109d050640x109d05065
C++N3242, 2011 (18)3.4.3.1 Class members [class.qual] p52.cpp

```

#検討事項(agenda)
1.  役に立つまたは意味のある出力

#参考資料(reference)

###プログラミング言語教育のXYZ

https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4
プログラミング言語教育のXYZ(youtube)
https://www.youtube.com/watch?v=He1_tg4px-w&t=486s
###Autosar Guidelines C++14
Autosar Guidelines C++14 example code compile list(1-169)
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76
###C++N4741 2018
C++N4741 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4741.pdf
C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010
###C++N4606 2016
C++N4606 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
C++N4606, 2016符号断片編纂一覧(example code compile list)
Working Draft 2016, ISO/IEC 14882(1)
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

N4606 Working Draft 2016, ISO/IEC 14882, C++ standardのコード断片をコンパイルするためにしていること
https://qiita.com/kaizen_nagoya/items/a8d7ee2f2e29e76c19c1

### others
コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da

Clang/Clang++(LLVM) gcc/g++(GNU) コンパイラ警告等比較
https://qiita.com/kaizen_nagoya/items/9a82b958cc3aeef0403f

Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d


ISO/IEC TS 17961:2013 C Secure Coding Rules(1) All list(to be confirmed)
https://qiita.com/kaizen_nagoya/items/54e056195c4f11b850a1

C言語（C++)に対する誤解、曲解、無理解、爽快。
https://qiita.com/kaizen_nagoya/items/3f3992c9722c1cee2e3a

C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9

Open POSIX Test Suiteの使い方を調べはじめました
https://qiita.com/kaizen_nagoya/items/644d5e407f5faf96e6dc

MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認
https://qiita.com/kaizen_nagoya/items/96dc8b125e462d5575bb

どうやって MISRA Example Suiteをコンパイルするか
https://qiita.com/kaizen_nagoya/items/fbdbff5ff696e2ca7f00

MISRA C まとめ #include <misra_c.h>
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9

「C++完全理解ガイド」の同意できること上位10
https://qiita.com/kaizen_nagoya/items/aa5744e0c4a8618c7671

#文書履歴(document history)
ver. 0.20 初稿 20180708

0

試験って何ですか。

投稿日時 : 2018/08/07  小川 清 
システムの試験の一部としてソフトウェアの試験を行うことがある。

仕事が試験機関であるため場合によっては証明を出す必要がある。

できるだけソフトウェア単独ではなく、システムとして試験をするようにしている。

0

C++リンクエラーの取り方

投稿日時 : 2018/08/07  小川 清 

```
Undefined symbols for architecture x86_64:
  "B::~()", referenced from:
      D2::~D2() in p70-db7c41.o
      D1::~D1() in p70-db7c41.o
  "typeinfo for B", referenced from:
      typeinfo for D2 in p70-db7c41.o
      typeinfo for D1 in p70-db7c41.o
  "vtable for B", referenced from:
      B::() in p70-db7c41.o
```

算譜(source code)は

```c++:c70.cpp
// 1 filename:p70.cpp
// ver 0.1 June.10, 2014
// ver 0.2 July.7, 2018
// 2 original examples and/or notes:
// (c) ISO/IEC JTC1 SC22 WG21 N3242, April 12, 2011
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf
const char* msg= "C++N3242, 2011(25)3.8 Object lifetime [basic.life] p.70.cpp";
//
// 3 compile and output mechanism:
// (c) Ogawa Kiyoshi, kaizen @ wh.commufa.jp
//
// 4 compile errors and/or wornings:
// 4.1(c) Apple LLVM
// 4.1.1 ver.0.10
// version 5.1 (clang-503.0.40) (based on LLVM 3.4svn)
// Target: x86_64-apple-darwin13.2.0,  Thread model: posix
// Command/Options: c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-2-5.cpp
// (c) LLVM 2003-2009 University of Illinois at Urbana-Champaign.
// 4.1.2 ver.0.20
// clang version 6.0.0 (tags/RELEASE_600/final)
// Target: x86_64-apple-darwin17.4.0
// 4.2. g++-4.9 (GCC) 4.9.0 20131229 (experimental)
// Copyright (C) 2013 Free Software Foundation, Inc.
// This is free software; see the source for copying conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
// http://gcc.gnu.org/onlinedocs/gcc/Standards.html
// 4.2.1 ver. 0.1
// Command/Options: g++-4.9  -std=c++11  -Wall cpp2011-2-5.cpp
// g++-4.9: error: unrecognized command line option '-stdlib=libc++'
// Configuration:brew install gcc49
// 4.2.2 ver. 0.2
// g++-8 (Homebrew GCC 8.1.0) 8.1.0
// Copyright (C) 2018 Free Software Foundation, Inc.
// 4.3. Visual Studio Express 2013,
// (c) Microsoft http://www.visualstudio.com/
// SPEC:
// Windows 7, .NET Framework
// (c) VMware, Inc.
// VMWare fusion 6
///
// 5. Hardware:  MacBook Pro,
// 5.1 ver. 0.10
//(c) Intel http://ark.intel.com/products/37006/
// Core 2 Duo 2.53GHz, 8GB, 1067MHz DDR3
// 5.2 ver. 0.20
// intel Corei5, 2.6GHz, 16GB, 166MHz DDR
//
// 6. Special Thanks: Upper organizatios and
// ITSCJ/IPSJ http://www.itscj.ipsj.or.jp/itscj_english/index.html
// NPO SESSAME project, http://www.sessame.jp/workinggroup/WorkingGroup3/
// Toyo Corporation, http://www.toyo.co.jp/English/
// Japan Standard Association, http://bit.ly/1lzykg1
// NPO TOPPERS project, https://www.toppers.jp/asp-d-download.html
// Daido Universcity, http://www.daido-it.ac.jp/gakubugakka/computer/index.html
// WITZ Co.Ltd., http://www.witz-inc.co.jp/products/solution/solution.html
// SevenWise.co., http://www.7ws.co.jp/index.html
// TOYOTA Motor Corporation, http://toyota.jp/
// IT planning Inc., http://www.itpl.co.jp/en/index.html
// DENSO Corporation, http://www.globaldenso.com/en/
// Aisin Seiki co. Ltd., http://www.aisin.com/
// Spancion Inc., http://www.spansion.com/
// Yazaki Corporation, http://www.yazaki-group.com/global/
// Pananosic Corporation, http://www.panasonic.net/
// SWEST: Summer Workshop on Embedded System Technologies , http://swest.toppers.jp
// CEST: Consortium for Embedded System Technology, http://www.ertl.jp/CEST/
// JUSE: Union of Japanese Scientists and Engineers, http://www.juse.or.jp/e/
// OSC:Open Source Conference, http://www.ospn.jp/

#include <iostream>
#include <cstdlib>

using namespace std;

namespace N {
  int i = 4; /// add for compile error
}

/// from here, on the  N3242 without /// lines

struct C {
  int i;
  void f() {}; /// add {} for link error
  const C& operator=( const C& );
};
//
const C& C::operator=( const C& other) {
  if ( this != &other ) {
    this->~C(); // lifetime of *this ends
    new (this) C(other); // new object of type C created
    f(); // well-defined
  }
  return *this;
}


//
struct B {
  virtual void f();
  B();
  void mutate();
  virtual ~B();
};
struct D1 : B {
  void f() {};
};
struct D2 : B {
  void f() {};
};
void B::mutate() {
  new (this) D2; // reuses storage — ends the lifetime of *this
  f(); // undefined behavior
  B * b = this; // OK, this points to valid memory
  cout << b << std::endl;
}
//  "B::B()", referenced from:
//      D1::D1() in cpp2011-3-8-b4d375.o
//      D2::D2() in cpp2011-3-8-b4d375.o
B::B() {
  new(B);
}
//  "vtable for D1", referenced from:
//      D1::D1() in cpp2011-3-8-d7ae21.o
//  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
// error: definition of implicitly declared default constructor
// D1::D1(){new(D1);}
// D1::D1();
//  "vtable for D2", referenced from:
//      D2::D2() in cpp2011-3-8-d7ae21.o
//  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
//cpp2011-3-8.cpp:82:5: error: definition of implicitly declared default constructor
//D2::D2(){new(D2);}
//D2::D2();
//D1::~D1(){};
//D2::~D2(){};
void g() {
  void* p = std::malloc(sizeof(D1) + sizeof(D2));
  B* pb = new (p) D1;
  pb->mutate();
  &pb; // OK: pb points to valid memory
  void* q = pb; // OK: pb points to valid memory
  pb->f(); // undefined behavior, lifetime of *pb has ended
  cout << q << std::endl;
}
//
class T { };
struct B1 {
  ~B1() {}; /// add {} for link error
};
void h() {
  B1 b;
  new (&b) T;
} // undefined behavior at block exit
//
struct B2 {
  B2() {}; /// add {} for link error
  ~B2() {}; /// add {} for link error
};
const B2 b;
void h2() {
  b.~B2();
  new (const_cast<B2*>(&b)) const B2; // undefined behavior
}
int main() {
  C c1;
  C c2;
  c1 = c2; // well-defined
  c1.f(); // well-defined; c1 refers to a new object of type C

/// to here, on the  N3242 without /// lines

///int main() {

  g();

  cout << msg <<endl;
  return EXIT_SUCCESS;
}
```
0