package coq-kildall
Application of the Generic kildall's Data Flow Analysis Algorithm to a Type and Shape Static Analyses of Bytecode
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=6a9c810d87ac3b88db5bb891def41fa4
Description
This Library provides a generic data flow analysis algorithm and a proof of its correctness. This algorithm is then used to perform type and shape analysis at bytecode level on a first order functionnal language.
On This Page