Program Analysis Using Datalog Jeffrey Ullman, Principles of Database and Knowledge-Base Systems, 1989
{"Image DocumentName": "Reps, 1994bddbddb, Problem. interproc. data-flow reaching def/slicing. software security.", "Image ImageDescription": "programmer specified. pointer alias analysis. Demand Driven. Exhaustive. Implementation ease magic set xform. BDD tuning. Coral. Custom, BDD based. Slower. Faster solved open problem. < 1000 lines of code. 800,000 byte codes.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}