5 ms·
If AbsInt is packing Cousot-adjacent work, does it stand for "ABStract INTerpretation"? Because that'd be cool.
by thechao 4y ago
If AbsInt is packing Cousot-adjacent work, does it stand for "ABStract INTerpretation"? Because that'd be cool.
- muldvarp 4y agoFrom 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.