Getting started with Differentiable Datalog (DDlog) & Rust for program analysis

Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. Read more

Similar