APS C++ User's Library
The general information about the APS algebraic programming system (terms rewriting system) is briefly described in the present article. It is justified practical necessity of creation of APS C++ User’s Library, its conception is presented and its main functions are listed. Also it is mentioned few...
Збережено в:
Дата: | 2008 |
---|---|
Автори: | Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V. |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Інститут програмних систем НАН України
2008
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1485 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | APS C++ User's Library / A. Letichevsky, A.Jr. Letichevsky, V. Peschanenko // Пробл. програмув. — 2008. — N 2-3. — С. 299-304. — Бібліогр.: 6 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022) -
C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008) -
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022) -
На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006) -
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)