
Writing Java bug checkers with (full) Datalog + syntactic pattern matching gives small, fast checkers, free fact extraction, and auto-incrementalisation.
For details, see Alexandru Dura's JavaDL, with @EmmaSoederberg, coming soon to a @splashcon near you:
creichen.net/papers/javadl.…

English


