Team for Research in
Ubiquitous Secure Technology

Citation
"• Using Datalog with Binary Decision Diagrams for Program Analysis". John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam (eds.), Third Asian Symposium on Programming Languages and Systems, November, 2005.

Abstract
(No abstract.)

Electronic downloads

• http://suif.stanford.edu/papers/aplas05.pdf

• HTML

   <a
  href="http://www.truststc.org/pubs/579.html"
  ><i>•	Using Datalog with Binary
  Decision Diagrams for Program Analysis</i></a>,
  John Whaley, Dzintars Avots, Michael Carbin, and Monica S.
  Lam (eds.), Third Asian Symposium on Programming Languages
  and Systems, November, 2005.

• Plain text

   "•	Using Datalog with Binary Decision
  Diagrams for Program Analysis". John Whaley, Dzintars
  Avots, Michael Carbin, and Monica S. Lam (eds.), Third Asian
  Symposium on Programming Languages and Systems, November,
  2005.

• BibTeX

  @proceedings{WhaleyAvotsCarbinLam05_UsingDatalogWithBinaryDecisionDiagramsForProgram,
      title = {•	Using Datalog with Binary Decision Diagrams
                for Program Analysis},
      editor = {John Whaley, Dzintars Avots, Michael Carbin, and
                Monica S. Lam},
      organization = {Third Asian Symposium on Programming Languages and
                Systems},
      month = {November},
      year = {2005},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/579.html}
  }
  

Posted by Jessica Gamble on 12 Mar 2009.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.