Sciweavers

7 search results - page 2 / 2
» The CQL continuous query language: semantic foundations and ...
Sort
View
PPDP
2007
Springer
13 years 11 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
CORR
2008
Springer
123views Education» more  CORR 2008»
13 years 4 months ago
Provenance Traces
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
James Cheney, Umut A. Acar, Amal Ahmed