Team for Research in
Ubiquitous Secure Technology

• Using Datalog with Binary Decision Diagrams for Program Analysis

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.