ANTHILL: a progressive formalization language for agent-supported software projects

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2026
• Issue: 1
• Pages: 4-13
• ISSN: 1727-4907
• Author Affiliations: R.S. Shevchenko — Institute of Software Systems NAS of Ukraine; A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine; O.A. Yatsenko — Institute of Software Systems NAS of Ukraine
• Keywords: формально-образна мова, формалізація, база знань, динамічність мови, мови програмування, споріднені мови, статистичні моделі мови, базовий термінологічний апарат, праймер, специфікація com
• Main Authors: Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2026
• Subjects: formal specification; progressive formalization; knowledge base; stigmergy; multi-agent systems; large language models; UDC 004.052.32; 004.43
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/887
• Journal Title: Problems in programming

The article presents the Anthill language — a specialized language for progressive (gradual) knowledge for malization, designed for use in real-world software projects with the integration of agent support, in particular large language models. Anthill allows you to describe, accumulate and maintain...