ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ СЕВЕРО-КАВКАЗСКИЙ РЕГИОН. 2017; 3: 35-42
http://dx.doi.org/10.17213/0321-2653-2017-3-35-42
СЕМАНТИЧЕСКИЙ ИНТЕРФЕЙС ДЛЯ ПРОГРАММ НА С++
Зуев Евгений Александрович – канд. физ.-мат. наук, доцент, Университет Иннополис, г. Иннополис, Россия. E-mail: e.zuev@innopolis.ru
Аннотация
Рассматриваются актуальные проблемы, приводящие к необходимости повышения качества и глубины анализа программ на языке С++. Обсуждаются возможные пути решения проблем повышения надежности и безопасности программ. В качестве основы различных систем анализа предлагается концепция семантического представления (СП). Обсуждаются преимущества СП, определяются основные требования к ней, важнейшие характеристики, функциональные возможности и возможные сферы применения.
Ключевые слова: язык С++; анализ программ; семантическое представление; семантический интерфейс.
Полный текст: [in elibrary.ru]
Ссылки на литературу
- ISO/IEC 15291:1999 Information technology – Programming languages – Ada Semantic Interface Specification (ASIS).
- Bodin F. [et. al.], Sage++: An object-oriented toolkit and class library for building Fortran and C++ restructuring tools, Proceedings of the Second Annual Object-Oriented Numerics Conference, 1994.
- Quinlan D., ROSE: Compiler Support for Object-Oriented Frameworks, Parallel Processing Letters, Vol. 10, also Proceedings of Conference on Parallel Compilers (CPC2000), Aussois, France, January 2000.
- Edison Design Group, http://www.edg.com (дата обращения 19.05.2017).
- The Pivot Project, http://parasol.tamu.edu/pivot/ (дата обращения 19.05.2017).
- The Pivot: A brief overview. Bjarne Stroustrup and Gabriel Dos Reis, https://parasol.tamu.edu/pivot/publications/reis1.pdf (дата обращения 19.03.2017).
- The LLVM Compiler Infrastructure, http://llvm.org (дата обращения 19.05.2017).
- Clang Static Analyzer, https://clang-analyzer.llvm.org/ (дата обращения 19.03.2017).
- Working Draft, Standard for Programming Language C++, Document Number: N4659, Date: 2017-03-21, www.open-std.org/jtc1/sc22/wg21/docs/ papers/2017/n4659.pdf (дата обращения 19.05.2017).
- Hidden copying constructor C++, http://stackoverflow.com/questions/ 9068024/hidden-copying-constructor-c (дата обращения 19.05.2017).