О технологиях построения и обработки математических моделей программ
Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в програм...
Saved in:
| Date: | 2007 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем, журнал "Проблеми програмування"
2007
|
| Series: | №3 |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/299 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус. |