Datalog, a declarative logic programming language with a concise syntax, has become an essential tool in the realm of program analysis. By expressing recursive computation in a clear and ...

Resource-aware program analysis and complexity estimation have become pivotal in modern software engineering, where understanding and verifying the quantitative resource consumption of computer ...