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

• Date: 2004
• Main Author: Шевченко, Р.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2004
• Subjects: Методы и средства программной инженерии
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/2310
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Javachecker: статический анализ программных комплексов с помощью переписывающих правил /Р. Шевченко // Проблеми програмування. — 2004. — N 2,3. — С. 223-230. — Бібліогр.: 9 назв. — рос.

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