933 search results - page 84 / 187 » Multi-paradigm Declarative Languages |
152
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
127
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
140
click to vote
ISPAN
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
132
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
141
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...