Date: 2014-01-03 23:24:44Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering | | HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHAAdd to Reading ListSource URL: www.pgbovine.netDownload Document from Source Website File Size: 386,77 KBShare Document on Facebook
|