4 ms·
From their website: > The company name is an acronym for “abstract interpretation”, a sophisticated approach to static program analysis formalized by Patrick
by muldvarp 4y ago
From their website:
> The company name is an acronym for “abstract interpretation”, a sophisticated approach to static program analysis formalized by Patrick and Radhia Cousot at the Laboratoire d’Informatique, Grenoble in 1977. It is by implementing this approach that we were able to develop our unique, highly successful products.