Welcome | Soufflé • A Datalog Synthesis Tool for Static Analysis - discu.eu

Lobsters

Soufflé: A Datalog Synthesis Tool for Static Analysis https://souffle-lang.github.io/docs.html 7 comments 7/7/2023 compilers , math

Linking pages

Drinking with Datalog https://ianthehenry.com/posts/drinking-with-datalog/ 3 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:souffle-lang.github.io

Search title: Welcome | Soufflé • A Datalog Synthesis Tool for Static Analysis

See how to search.

Submit link to: