2025-02-23T06:25:31-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86742%22&qt=morelikethis&rows=5
2025-02-23T06:25:31-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86742%22&qt=morelikethis&rows=5
2025-02-23T06:25:31-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T06:25:31-05:00 DEBUG: Deserialized SOLR response
Верификация программ: состояние, проблемы, экспериментальные результаты. II

Верификация программ: состояние, проблемы, экспериментальные результаты. II

Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов....

Full description

Saved in:
Bibliographic Details
Main Author: Максимец, А.Н.
Format: Article
Language:Russian
Published: Інститут програмних систем НАН України 2014
Series:Проблеми програмування
Subjects:
Верифікація програм
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/86742
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-86742
record_format dspace
spelling irk-123456789-867422015-10-01T03:02:06Z Верификация программ: состояние, проблемы, экспериментальные результаты. II Максимец, А.Н. Верифікація програм Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов. 2014 Article Верификация программ: состояние, проблемы, экспериментальные результаты. II / А.Н. Максимец // Проблеми програмування. — 2014. — № 1. — С. 76-89. — Бібліогр.: 7 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86742 51.681.3 ru Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Верифікація програм
Верифікація програм
spellingShingle Верифікація програм
Верифікація програм
Максимец, А.Н.
Верификация программ: состояние, проблемы, экспериментальные результаты. II
Проблеми програмування
description Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов.
format Article
author Максимец, А.Н.
author_facet Максимец, А.Н.
author_sort Максимец, А.Н.
title Верификация программ: состояние, проблемы, экспериментальные результаты. II
title_short Верификация программ: состояние, проблемы, экспериментальные результаты. II
title_full Верификация программ: состояние, проблемы, экспериментальные результаты. II
title_fullStr Верификация программ: состояние, проблемы, экспериментальные результаты. II
title_full_unstemmed Верификация программ: состояние, проблемы, экспериментальные результаты. II
title_sort верификация программ: состояние, проблемы, экспериментальные результаты. ii
publisher Інститут програмних систем НАН України
publishDate 2014
topic_facet Верифікація програм
url http://dspace.nbuv.gov.ua/handle/123456789/86742
citation_txt Верификация программ: состояние, проблемы, экспериментальные результаты. II / А.Н. Максимец // Проблеми програмування. — 2014. — № 1. — С. 76-89. — Бібліогр.: 7 назв. — рос.
series Проблеми програмування
work_keys_str_mv AT maksimecan verifikaciâprogrammsostoânieproblemyéksperimentalʹnyerezulʹtatyii
first_indexed 2023-10-18T19:34:02Z
last_indexed 2023-10-18T19:34:02Z
_version_ 1796147311821193216

Similar Items