Back to Results
First PageMeta Content
Model checking / Mathematics / Theoretical computer science / Boolean algebra / Diagrams / Binary decision diagram


CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog  BDD 2. BDDs
Add to Reading List

Document Date: 2008-09-08 14:03:58

Open Document

File Size: 82,17 KB

Share Result on Facebook

Facility

Modify BDD library / library Advanced Compilers L11 / stable Advanced Compilers L11 / /

IndustryTerm

search space / /

/

Position

J. Whaley Automatic Analysis Generation Programmer / lines Compiler writer / /

ProgrammingLanguage

Datalog / /

Technology

Machine Learning / /

SocialTag