Flix

swMATH39893MaRDI QIDQ55593FDOQ55593

Author name not available (Why is that?)

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

Cited In (17)

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

This page was built for software: Flix