News for hackers. Stuff that matters.

A comment on Soufflé: A Datalog Synthesis Tool for Static Analysis. Parent comment

Re:Soufflé: A Datalog Synthesis Tool for Static Analysis by rad_gruchalski on Wednesday November 30, 2022 @05:27PM (#33808814)
Not Datalog but inspired by Datalog: https://www.openpolicyagent.org/docs/latest/policy-language/.
[ Parent | on HN ]

There are no comments on this comment yet.