Flix

MaRDI QIDQ55593swMATHFDO

Official website https://dl.acm.org/doi/10.1145/2980983.2908096

Cited in

(17)

• Modern Datalog Engines
• Incremental and modular context-sensitive analysis
• DELORES
• OpenRuleBench
• FLORA
• MulVAL
• Datafun
• VOLT
• miniKanren
• Goblint
• RELAY
• Dyna
• Yedalog
• EmptyHeaded
• Vadalog
• IncA
• Demand-driven interprocedural analysis for map-based abstract domains

This page was built for software: Flix