2025-02-23T18:18:21-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2310%22&qt=morelikethis&rows=5
2025-02-23T18:18:21-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-2310%22&qt=morelikethis&rows=5
2025-02-23T18:18:21-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T18:18:21-05:00 DEBUG: Deserialized SOLR response
Javachecker: статический анализ программных комплексов с помощью переписывающих правил

Javachecker: статический анализ программных комплексов с помощью переписывающих правил

У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної ф...

Full description

Saved in:
Bibliographic Details
Main Author: Шевченко, Р.
Format: Article
Language:Russian
Published: Інститут програмних систем НАН України 2004
Subjects:
Методы и средства программной инженерии
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/2310
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних систем, а до окремих характеристик. Це дозволяє уникнути складнощів повної формалізації задачі, і у той-же час дозволяє проводити прагматично корисні висновки щодо характеристик програмної системи (такі, як наявнісьт помилок визначенного классу) за допомогою порівняльно невеликого об'єму обчислень. Описується статичний аналізатор програм на мові Java (JavaCheker), що реалізує даний підхід і побудован у середовищі алгебраїчного програмування TermWare.

Similar Items