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

• Datum: 2026
• Hauptverfasser: Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
• Schlagworte: formal specification; progressive formalization; knowledge base; stigmergy; multi-agent systems; large language models; UDC 004.052.32; 004.43
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/887
• Назва журналу: 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...