What does “Frontline Support” mean to you?
Frontline support means efficient communication between application domain experts and technology experts in order to provide the best solutions to relevant problems both in the short term and in the long term. Speed and quality of this activity is measurable and the major gauge by which we value ourselves.
What drew you to SPARK/Ada?
I believe that the programming language is a programmer’s most important tool. But I am an all-eater and prefer different programming languages for different tasks.
When it comes to high-assurance applications, I want a programming language that comes with source code analysis tools that can give me fast, trustworthy and precise arguments for why my program is correct or not. This leaves me with few options. Furthermore, I want a language and toolset that goes beyond toy examples and scales to practical real world applications. That is what drew me to SPARK.
What’s your favorite feature of SPARK Pro Technology
The ability to prove absence of overflow errors. For real practical programs. At compile time. That is truly unique and very valuable.