11066 search results - page 1987 / 2214 » Linearity in Process Languages |
242
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
252
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
240
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Querying XML effectively and efficiently using declarative languages such as XQuery and XPath has been widely studied in both academic and industrial settings. Most RDBMS vendors ...
210
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
To compensate for the inherent impedance mismatch between the relational data model (tables of tuples) and XML (ordered, unranked trees), tree join algorithms have become the prev...
234
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...