(TechBlog) Frontend and Backend Languages

January 10, 2026 · Jan-Christoph Kassing

AProVE is able to analyze termination and complexity of different programming languages. Here, we clearly distinguish between two types of languages: frontend languages and backend languages. But what is the difference between those two types of languages and what is the advantage of this strict division? Read more →

---

Opening Closed Curtains.

December 17, 2025 · Jan-Christoph Kassing

We're excited to launch the very first post on the AProVE news blog. After two decades of development, we've decided to shed some light behind the curtains of the AProVE tool. This is the beginning of a space where we'll share news, updates, and insights about AProVE. Read more →