1 |
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data*
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Automatic techniques for proving correctness of heap-manipulating programs
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Adding Nesting Structure to Words
|
|
|
|
In: Departmental Papers (CIS) (2009)
|
|
BASE
|
|
Show details
|
|
4 |
Marrying Words and Trees
|
|
|
|
In: Departmental Papers (CIS) (2007)
|
|
BASE
|
|
Show details
|
|
|
|