6054 search results - page 1094 / 1211 » Implementation of Andorra-based Languages |
150
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Database queries often take the form of correlated SQL queries. Correlation refers to the use of values from the outer query block to compute the inner subquery. This is a conveni...
129
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
143
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
Cascadia is a system that provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw...
120
Voted
POPL
2010
ACM
16 years 21 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
154
click to vote
POPL
2010
ACM
16 years 21 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...