jnpn

https://www.di.ens.fr/~cousot/COUSOTpapers/IFIP77.shtml

Static determination of dynamic properties of recursive procedures. Cousot 1977

#abstractinterpretation

P. Cousot & R. Cousot, Static determination of dynamic properties of recursive procedures

Feb 23, 2024 at 11:57pmWeb