Научный журнал
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ.
СЕВЕРО-КАВКАЗСКИЙ РЕГИОН.

ТЕХНИЧЕСКИЕ НАУКИ


ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ СЕВЕРО-КАВКАЗСКИЙ РЕГИОН. 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]

 

Ссылки на литературу

  1. ISO/IEC 15291:1999 Information technology – Programming languages – Ada Semantic Interface Specification (ASIS).
  2. 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.
  3. 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.
  4. Edison Design Group, http://www.edg.com (дата обращения 19.05.2017).
  5. The Pivot Project, http://parasol.tamu.edu/pivot/ (дата обращения 19.05.2017).
  6. The Pivot: A brief overview. Bjarne Stroustrup and Gabriel Dos Reis, https://parasol.tamu.edu/pivot/publications/reis1.pdf (дата обращения 19.03.2017).
  7. The LLVM Compiler Infrastructure, http://llvm.org (дата обращения 19.05.2017).
  8. Clang Static Analyzer, https://clang-analyzer.llvm.org/ (дата обращения 19.03.2017).
  9. 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).
  10. Hidden copying constructor C++, http://stackoverflow.com/questions/ 9068024/hidden-copying-constructor-c (дата обращения 19.05.2017).