Regular Expressions Nikolaj Bjørner Microsoft Research Vijay Ganesh MIT Rapha¨el Michel University of Namur June / Boost Graph Library / terminal BDD / The Symbolic Automata library / The Boost Graph Library / /
IndustryTerm
Web applications / Unification algorithms / operations that are encountered in applications / as-yet-unknown new applications / security tools / regular expression tools / /
Organization
SFA / MIT / University of Namur / /
Person
Andrew Lumsdaine / Nuo Li / el Michel / Stefan Blom / Nikolai Tillmann / Peli de Halleux / Shay Artzi / Pieter Hooimeijer / Gertjan Van Noord / Michal Kunc / Adam Kiezun / Tevfik Bultan / Dawn Song / Oscar H. Ibarra / Steve Hanna / Simona Orzan / Anders Møller / Tao Xie / Helmut Veith / Pierre Wolper / Cesare Tinelli / Prateek Saxena / Philip J. Guo / Michael I. Schwartzbach / Rex Kleene / Westley Weimer / Lie-Quan Lee / Andrei Voronkov / Vijay Ganesh / Nikolaj Bjørner / Michael D. Ernst / Nils Klarlund / Aske Simon Christensen / Dale Gerdemann / Thierry Coquand / Robert Nieuwenhuis / Gary Wassermann / Zhendong Su / Stephen McCamant / Feng Mao / Bernard Boigelot / Ruzica Piskac / Devdatta Akhawe / Jeremy G. Siek / Tim Hinrichs / Sebastian Bala / Wolfram Schulte / Leonardo de Moura / Margus Veanes / Yasuhiko Minamide / Ting Zhang / /
Position
seq-head / /
Product
Seq / /
ProgrammingLanguage
Java / PHP / JavaScript / C++ / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
Unification algorithms / natural language processing / PHP / Java / API / /
An SMT-LIB Format for Sequences and Regular Expressions Nikolaj Bjørner Microsoft Research Vijay Ganesh MIT