15-819K Logic Programming
Lecture 26: Datalog

• Reading:
  • Lecture Notes
  • John Whaley and Dzintars Avots and Michael Carbin and Monica S. Lam,
    Using Datalog and Binary Decision Diagrams for Program Analysis,
    Proceedings of the 3rd Asian Symposium on Programming Languages and Systems(APLAS'05),
    Tsukuba, Japan, pp.97-118, Springer LNCS 3780, Nov 2005.
• Code: none
• Concepts:
  • Stratified negation
  • Transitive closure
  • Binary decision diagrams (BDDs)
  • Reduced ordered binary decision diagrams (ROBDDs)
• Previous lecture: Substructural Operational Semantics
• Next lecture: Constraint Logic Programming

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning