933 search results - page 82 / 187 » Multi-paradigm Declarative Languages |
232
click to vote
CSFW
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
281
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Over the past few years, we have been trying to build an end-to-end system at Wisconsin to manage unstructured data, using extraction, integration, and user interaction. This pape...
199
click to vote
SIGCOMM
2009
ACM
16 years 2 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
196
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
181
click to vote
ISSTA
2004
ACM
16 years 1 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...