Aaron Bembenek
- FormuLog: Datalog for static analysis involving logical formulae
2018/09/17 by Aaron Bembenek, Bembenek, Aaron, Stephen Chong +1 · 1 voice
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
- Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
2024/08/26 by Aaron Bembenek, Michael Greenberg, Bembenek, Aaron +3 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Programming Languages (cs.PL)